commit 375564602e55b48e741b4caf661613cc46480b16 parent b4dcc16156f923185c8c5f6f0b6f62b8a0887df6 Author: Georges Dupéron <georges.duperon@gmail.com> Date: Tue, 20 Jun 2017 12:48:52 +0200 Try to also specify --redirect Diffstat:
| M | .travis.yml | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.travis.yml b/.travis.yml @@ -74,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 ++main-xref-in --redirect-main http://docs.racket-lang.org/ scribblings/phc-thesis.scrbl + - raco scribble --dest doc/phc-thesis --html --dest-name index ++main-xref-in --redirect-main https://docs.racket-lang.org/ --redirect https://docs.racket-lang.org/ scribblings/phc-thesis.scrbl - make - if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi