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          ;; | 
