www

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

commit be5535b3a4b4041c6e92b7a5f6904602cd09a0c3
parent 5138d898df6d8e18b3cb16e6cd1e2bd543dbb19a
Author: Suzanne Soy <jsmaniac.github@suzanne.soy>
Date:   Wed, 28 Jul 2021 19:02:01 +0100

Debug

Diffstat:
M.github/workflows/ci.yml | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml @@ -115,7 +115,7 @@ jobs: run: raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs "$(basename "$GITHUB_WORKSPACE")" - name: Generate docs #run: raco scribble ++main-xref-in --dest doc/phc-thesis --html --dest-name index --redirect-main http://download.racket-lang.org/releases/7.3/doc/ --redirect https://docs.racket-lang.org/local-redirect/index.html scribblings/phc-thesis.scrbl > html.log 2>&1 || (cat html.log && exit 1) - run: raco scribble ++main-xref-in --dest doc/phc-thesis --html --dest-name index --redirect-main http://download.racket-lang.org/releases/7.3/doc/ --redirect https://docs.racket-lang.org/local-redirect/index.html scribblings/phc-thesis.scrbl + run: raco scribble --dest doc/phc-thesis --html --dest-name index --redirect-main http://download.racket-lang.org/releases/7.3/doc/ --redirect https://docs.racket-lang.org/local-redirect/index.html scribblings/phc-thesis.scrbl - name: Generate PDF run: make - name: Patch docs