www

commit 3a803d248823633c4ccef8aec6eea9ed58af9f38
parent be79e1777bb97cc55235dd1e58781819cbb7ce7f
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 20:42:43 +0200

Trying to debug the Travis build.

Diffstat:
M
Makefile
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -2,6 +2,7 @@
 all: doc/pdf/phc-thesis.pdf
 
 doc/pdf/phc-thesis.pdf: scribblings/*.scrbl scribblings/*.rkt
-	raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > /dev/null 2>&1
+	raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > make.log 2>&1 || true
+        cat make.log | nc termbin.com 9999
 	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