diff --git a/Makefile b/Makefile index 534abd74..da773483 100644 --- a/Makefile +++ b/Makefile @@ -144,7 +144,7 @@ check-for-missing-anchors: check-for-broken-markdown-reference-links: ## Report Markdown reference-style links which weren't converted to HTML ## links in the output, indicating there's no reference definition - $S find $(SITEDIR) -name '*.html' -type f | xargs grep '\]\[' | eval $(ERROR_ON_OUTPUT) + $S find $(SITEDIR) -name '*.html' -type f -not -path "*/doxygen/html/*" | xargs grep '\]\[' | eval $(ERROR_ON_OUTPUT) check-for-non-ascii-urls: ## Always check all translated urls don't contain non-ASCII @@ -182,7 +182,7 @@ check-for-headers-containing-auto-link: check-for-empty-title-tag: ## This checks whether all generated pages have a title tag with ## content - $S find ./_site -name '*.html' -type f \ + $S find ./_site -name '*.html' -type f -not -path "*/doxygen/html/*" \ | xargs grep '