commit b3d95effdcf6bcc86a70e411bcc315695505a479 parent d626d3104d6164473968b31ae443a4e9e0eaea1b Author: Georges Dupéron <georges.duperon@gmail.com> Date: Tue, 20 Jun 2017 01:16:07 +0200 More HTML output fixes (?) Diffstat:
| M | .travis.yml | | | 7 | ++++--- |
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/.travis.yml b/.travis.yml @@ -61,8 +61,9 @@ before_install: - mv newunicodechar.sty "$latex_home/tex/latex/newunicodechar" install: - - raco pkg install -j 2 --deps search-auto --no-setup - - (while ! test -e ~/done.txt; do sleep 10; echo -n '.'; done) & raco setup -v -j 2 --pkgs phc-thesis && touch ~/done.txt + - raco pkg install -j 2 --deps search-auto +# --no-setup +# - (while ! test -e ~/done.txt; do sleep 10; echo -n '.'; done) & raco setup -v -j 2 --pkgs phc-thesis && touch ~/done.txt before_script: @@ -73,7 +74,7 @@ script: - raco test -x -p phc-thesis - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs phc-thesis - mv doc/ auto-doc/ - - raco scribble --dest doc/phc-thesis --html --dest-name index --redirect-main http://docs.racket-lang.org/docs/6.9/html/ scribblings/phc-thesis.scrbl + - raco scribble --dest doc/phc-thesis --html --dest-name index ++main-xref-in --redirect-main http://docs.racket-lang.org/docs/6.9/html/ scribblings/phc-thesis.scrbl - make - if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi