commit 9ca98aa9f82da7810308ad6ff304a16902af931c
parent 8fb35c3cfcac06351c0f93a13e0fd9b441d567d1
Author: Georges Dupéron <georges.duperon@gmail.com>
Date: Fri, 7 Jul 2017 16:30:31 +0200
Trying to debug the Travis build.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -2,6 +2,6 @@
all: doc/pdf/phc-thesis.pdf
doc/pdf/phc-thesis.pdf: scribblings/*.scrbl scribblings/*.rkt
- raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > make.log
+ raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > make.log 2>&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