www

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

commit 2fea5a86b2b871ee82d290115944de4c852f574d
parent 8799f08829e416d5b27998cef8fef0ea1993f416
Author: Suzanne Soy <jsmaniac.github@suzanne.soy>
Date:   Wed,  7 Jul 2021 20:17:28 +0100

debug timeout

Diffstat:
MMakefile | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile @@ -3,6 +3,6 @@ all: doc/pdf/phc-thesis.pdf doc/pdf/phc-thesis.pdf: from-dissertation-tobin-hochstadt/*.scrbl scribblings/*.scrbl scribblings/*.rkt sed -i -e 's|PLACEHOLDER|$$(which pdflatex)|' pdflatex-wrapper/pdflatex - PATH="$$PWD/pdflatex-wrapper:$$PATH" raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > pdf.log 2>&1 || (cat pdf.log && echo "=== plain ===" && cat /tmp/ltx/*.tex && echo "=== base64 ===" && base64 /tmp/ltx/*.tex && echo "=== end ===" && exit 1) + 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) gs -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -dFastWebView=true -sOutputFile=doc/pdf/phc-thesis-linearized.pdf doc/pdf/phc-thesis.pdf mv doc/pdf/phc-thesis-linearized.pdf doc/pdf/phc-thesis.pdf