1 files changed, 6 insertions, 4 deletions
diff --git a/project b/project
index 47cb5ae..1d7847a 100755
--- a/project
+++ b/project
@@ -407,10 +407,12 @@ EOF
         # Run the actual project.
         controlled_env reproduce/analysis/make/top-make.mk
 
-	# Print the number of words
-	numwords=$(/usr/bin/pdftotext paper.pdf && cat paper.txt | wc -w)
-	echo; echo "Number of words in full PDF: $numwords"
-        rm paper.txt
+        # Print the number of words (if the user has pdftotext.
+        if which pdftotext &> /dev/null; then
+          numwords=$(pdftotext paper.pdf && cat paper.txt | wc -w)
+          echo; echo "Number of words in full PDF: $numwords"
+          rm paper.txt
+        fi
         ;;