Makefile (678B)
1 .PHONY: all 2 all: doc/pdf/phc-thesis.pdf 3 4 doc/pdf/phc-thesis.pdf: from-dissertation-tobin-hochstadt/*.scrbl scribblings/*.scrbl scribblings/*.rkt 5 sed -i -e "s|PLACEHOLDER|$$(which pdflatex)|" pdflatex-wrapper/pdflatex 6 tail -F /tmp/logg & PATH="$$PWD/pdflatex-wrapper:$$PATH" raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis | tee pdf.log 2>&1 || (cat pdf.log && echo "=== plain ===" && cat /tmp/ltx/*.tex && echo "=== base64 ===" && base64 /tmp/ltx/*.tex && echo "=== end ===" && exit 1) 7 gs -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -dFastWebView=true -sOutputFile=doc/pdf/phc-thesis-linearized.pdf doc/pdf/phc-thesis.pdf 8 mv doc/pdf/phc-thesis-linearized.pdf doc/pdf/phc-thesis.pdf