commit 65cf2f7ac3c2bb0f579dba2aaaee15f1b68c0909 parent 13ea2fcb990f2b70d6ce9c902b8bb2537bc2587d Author: Georges Dupéron <georges.duperon@gmail.com> Date: Thu, 22 Jun 2017 16:33:35 +0200 Patch the HTML file to circumvent the auto-selection of https://download.racket-lang.org/docs/6.9/html/ . Diffstat:
| M | .travis.yml | | | 3 | ++- |
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.travis.yml b/.travis.yml @@ -51,7 +51,8 @@ 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 + - 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 + - find doc -name '*.html' -print0 | xargs sed -i -e 's|https://download.racket-lang.org/docs/6.9/html/|https://docs.racket-lang.org/|g' - make - if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi - mv ~/.racket ~/.racket-discard