aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xproject2
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