commit bae6d037715910e07d8c64c404878f4602b36462 parent 3e27b5307582619bb2703737a96a504bacf9c0df Author: Suzanne Soy <jsmaniac.github@suzanne.soy> Date: Thu, 29 Jul 2021 02:57:16 +0100 Try to add back ++main-xref-in 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 @@ -121,7 +121,7 @@ jobs: #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: | for i in `seq 100`; do (df -h; free -m; find doc) || true; sleep 3; done & - 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 + 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 echo DONE - name: Generate PDF run: make