tools: populate-docs: Update to use latest version

patrickelectric · patrickelectric · commit 5cfcce40136f · 2025-06-16T10:44:31.000-03:00
Signed-off-by: Patrick José Pereira &lt;patrickelectric@gmail.com&gt;
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -13,4 +13,4 @@ src/generate-markdown.py --output-directory=docs`
`13`	`13`
`14`	`14`	`mkdocs build`
`15`	`15`
`16`		`-htmlproofer --ignore-empty-alt --file-ignore "./ping-protocol/404.html" --ignore-urls "https://fonts.gstatic.com" \|\| exit 1`
	`16`	`+htmlproofer --allow-hash-href --ignore-empty-alt --ignore-files "./ping-protocol/404.html" --ignore-urls "https://fonts.gstatic.com" \|\| exit 1`