www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

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