www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 64007502d433960e338e946b3ffb9e19bb999a0f
parent 80d30088f122b3cc3e4db36433bfaa4ae4489a7f
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 12:49:17 +0200

Avoid excess output from LaTeX build

Diffstat:
M.travis.yml | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml @@ -58,7 +58,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 - - make + - make > make.log + - tail -n 500 make.log - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld - 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' - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld