www

commit 6663cf20fb3e294299031e9ce7320f1be9652b14
parent 9ca98aa9f82da7810308ad6ff304a16902af931c
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 17:03:14 +0200

Trying to debug the Travis build.

Diffstat:
M
.travis.yml
 | 
1
-
M
Makefile
 | 
3
++-

2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -60,7 +60,6 @@ jobs:
       - raco scribble --dest doc/phc-thesis --html --dest-name index --redirect-main https://docs.racket-lang.org/ --redirect https://docs.racket-lang.org/ scribblings/phc-thesis.scrbl
       - (while sleep 10; do free -m || echo "."; done) &
       - make
-      - tail -n 500 make.log
       - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld
       - find doc -name '*.html' -type f -print0 | xargs -0 sed -i -e 's|https://download\.racket-lang\.org/docs/6\.9/html/|https://docs.racket-lang.org/|g'
       - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld
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 > make.log 2>&1
+	raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > make.log 2>&1 || true
+        tail -n 500 make.log
 	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