www

commit b7bd9fc890223d65e16d5cf17af41cede19493d7
parent 3a803d248823633c4ccef8aec6eea9ed58af9f38
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 21:19:07 +0200

Trying to debug the Travis build.

Diffstat:
M
Makefile
 | 
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: scribblings/*.scrbl scribblings/*.rkt
 	raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > make.log 2>&1 || true
-        cat make.log | nc termbin.com 9999
+	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