diff options
Diffstat (limited to 'project')
-rwxr-xr-x | project | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -410,6 +410,13 @@ 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 + fi ;; |