From 5aa26fd402b1a1ccfd968100ffdef41fbda6fabc Mon Sep 17 00:00:00 2001 From: Andrew Morgan Date: Wed, 7 Jan 2026 18:21:22 +0000 Subject: [PATCH] Empty `print.html` instead of deleting it. --- .github/workflows/docs-pr.yaml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs-pr.yaml b/.github/workflows/docs-pr.yaml index 651aa2dbbd..eb48c112bc 100644 --- a/.github/workflows/docs-pr.yaml +++ b/.github/workflows/docs-pr.yaml @@ -69,7 +69,11 @@ jobs: run: | MDBOOK_OUTPUT__HTML__SITE_URL="./" mdbook build - # Delete the print.html file as it can raise false positives during link checking. - rm -rf book/print.html + # Delete the contents of the print.html file, as it can raise false + # positives during link checking. + # + # We empty out the file, instead of deleting it, as doing so would + # just cause htmltest to complain that links to it were invalid. + echo "" > book/print.html ./htmltest book --conf docs/.htmltest.yml