commit 13ea2fcb990f2b70d6ce9c902b8bb2537bc2587d
parent 744f7c10b4889d5bd50a3c06adfefcd5b314b28b
Author: Georges Dupéron <georges.duperon@gmail.com>
Date: Thu, 22 Jun 2017 15:58:45 +0200
Revert "Try to redirect the main links to another completely random host."
This reverts commit 744f7c10b4889d5bd50a3c06adfefcd5b314b28b.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.travis.yml b/.travis.yml
@@ -51,7 +51,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://foo.org/bar/ --redirect https://foo.org/bar/ 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
- make
- if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi
- mv ~/.racket ~/.racket-discard