www

commit 4138fd44cf70cf8f321a9630cbe9ec31a08ad3ba
parent f3acabfe0fead4fa510eb6fd4cd8f06d033614fa
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Thu, 22 Jun 2017 18:48:09 +0200

Maybe `make` overwrites the HTML files? The sed command seems to be completely ignored.

Diffstat:
M
.travis.yml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.travis.yml b/.travis.yml
@@ -52,8 +52,8 @@ jobs:
       - 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
-      - find doc -name '*.html' -type f -print0 | xargs -0 sed -i -e 's|https://download.racket-lang.org/docs/6.9/html/|https://docs.racket-lang.org/|g'
       - make
+      - find doc -name '*.html' -type f -print0 | xargs -0 sed -i -e 's|https://download.racket-lang.org/docs/6.9/html/|https://docs.racket-lang.org/|g'
       - if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi
       - mv ~/.racket ~/.racket-discard
       - mkdir ~/.racket # clear the cache