diff --git a/tools/documentation.vnufilter b/tools/documentation.vnufilter index 168eb9a960..d26bd24f93 100644 --- a/tools/documentation.vnufilter +++ b/tools/documentation.vnufilter @@ -1,8 +1,3 @@ -# Real errors that should be fixed. - -# https://github.com/readthedocs/sphinx_rtd_theme/pull/961 -Attribute “alt” not allowed on element “a” at this point\. - # Warnings that are probably less important. The “type” attribute is unnecessary for JavaScript resources\. diff --git a/tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py b/tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py index 7d132c76a0..4d07c40f0c 100644 --- a/tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py +++ b/tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py @@ -49,8 +49,6 @@ VNU_IGNORE = [ r"No “p” element in scope but a “p” end tag seen\.", r"Element “div” not allowed as child of element “ul” in this context\. " + r"\(Suppressing further errors from this subtree\.\)", - # Warnings that are probably less important. - r"The “type” attribute is unnecessary for JavaScript resources\.", ] VNU_IGNORE_REGEX = re.compile(r"|".join(VNU_IGNORE))