www

commit be79e1777bb97cc55235dd1e58781819cbb7ce7f
parent 9e34985b479e2b15cebbbdbb3e789d38eac88c05
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 19:56:58 +0200

Trying to debug the Travis build.

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

2 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -57,8 +57,7 @@ jobs:
       - raco test -x -p "$(basename "$TRAVIS_BUILD_DIR")"
       - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs "$(basename "$TRAVIS_BUILD_DIR")";
       - rm -fr doc/
-      - 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 > html.log 2>&1
-      - cat html.log
+      - 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 > /dev/null 2>&1
       - (while sleep 10; do free -m || echo "."; done) &
       - make
       - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld
diff --git a/Makefile b/Makefile
@@ -2,7 +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 2>&1 || true
-        tail -n 500 make.log
+	raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > /dev/null 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