diff options
Diffstat (limited to 'project')
-rwxr-xr-x | project | 15 |
1 files changed, 10 insertions, 5 deletions
@@ -411,11 +411,16 @@ EOF # Run the actual project. controlled_env reproduce/analysis/make/top-make.mk - # 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 + # Print the number of words (if the user has pdftotext outside of + # Maneage! For now!!!), AND there actually is a 'paper.pdf' (for + # example when running './project make clean' there isn't any + # 'paper.pdf'). + if [ -f paper.pdf ]; then + 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 fi ;; |