www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit 744f7c10b4889d5bd50a3c06adfefcd5b314b28b
parent da3ad3db1dd5537c03f3e8a5eac3802bd5ac26fe
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Thu, 22 Jun 2017 15:45:25 +0200

Try to redirect the main links to another completely random host.

Diffstat:

M.travis.yml | 2+-


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://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://foo.org/bar/ --redirect https://foo.org/bar/ scribblings/phc-thesis.scrbl
       - make
       - if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi
       - mv ~/.racket ~/.racket-discard