1 files changed, 1 insertions, 1 deletions
diff --git a/project b/project
index 67ccc92..c117933 100755
--- a/project
+++ b/project
@@ -416,7 +416,7 @@ EOF
         # example when running './project make clean' there isn't any
         # 'paper.pdf').
         if [ -f paper.pdf ]; then
-          if which pdftotext &> /dev/null; then
+          if type pdftotext > /dev/null 2>/dev/null; then
             numwords=$(pdftotext paper.pdf && cat paper.txt | wc -w)
             echo; echo "Number of words in full PDF: $numwords"
             rm paper.txt