commit a15334091472b8aae39e0f0b96d3fa5c2b2afabb parent 2980e4273ba60566dab79873e5d16824b0ef5b68 Author: Suzanne Soy <jsmaniac.github@suzanne.soy> Date: Wed, 28 Jul 2021 01:32:20 +0100 The option ++main-xref-in is now needed to avoid breaking links to the main documentation when building a standalone scribble document to HTML Diffstat:
| M | .github/workflows/ci.yml | | | 6 | +++--- |
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml @@ -33,11 +33,11 @@ jobs: - name: Install LaTeX # texlive-latex3 on 12.04, texlive-latex-recommended on more recent versions of Ubuntu. # Some version (16.04?) needed these packages: pgf texlive-latex3 latex-xcolor - run: sudo apt install texlive-latex-base texlive-fonts-extra texlive-fonts-recommended texlive-latex-extra texlive-latex-recommended ghostscript + run: sudo apt install -y texlive-latex-base texlive-fonts-extra texlive-fonts-recommended texlive-latex-extra texlive-latex-recommended ghostscript - name: Install Zip # texlive-latex3 on 12.04, texlive-latex-recommended on more recent versions of Ubuntu. # Some version (16.04?) needed these packages: pgf texlive-latex3 latex-xcolor - run: sudo apt install zip + run: sudo apt install -y zip - name: Add to $PATH run: | printf %s\\n "$HOME/.racket/bin" >> "$GITHUB_PATH" @@ -115,7 +115,7 @@ jobs: - name: (Re?)Build the Racket package 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 --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 > 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 https://docs.racket-lang.org/ --redirect https://docs.racket-lang.org/ scribblings/phc-thesis.scrbl > html.log 2>&1 || (cat html.log && exit 1) - name: Generate PDF run: make - name: Patch docs