From 5cfcce40136f33eb5ce8155be608966a85e3360b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20Jos=C3=A9=20Pereira?= Date: Mon, 16 Jun 2025 10:44:31 -0300 Subject: [PATCH] tools: populate-docs: Update to use latest version MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Patrick José Pereira --- tools/populate-docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/populate-docs.sh b/tools/populate-docs.sh index a4473a71..98dd0ae3 100755 --- a/tools/populate-docs.sh +++ b/tools/populate-docs.sh @@ -13,4 +13,4 @@ src/generate-markdown.py --output-directory=docs mkdocs build -htmlproofer --ignore-empty-alt --file-ignore "./ping-protocol/404.html" --ignore-urls "https://fonts.gstatic.com" || exit 1 +htmlproofer --allow-hash-href --ignore-empty-alt --ignore-files "./ping-protocol/404.html" --ignore-urls "https://fonts.gstatic.com" || exit 1