www

commit b0f51da6c8d3e8d6fc3ed765aaea877087e1ad6c
parent 731c8df566024880c49d7679f67a78b4e7575d9a
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 22:23:03 +0200

Cleanup after solving Travis problem

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

2 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -60,8 +60,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 > /dev/null 2>&1
-      - (while sleep 10; do free -m || echo "."; done) &
+      - 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
       - make
       - 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'
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
-	cat make.log | nc termbin.com 9999
+	raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis
 	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