checkdocs.py: check "int" class before warning

Signed-off-by: Philippe Proulx <eeppeliteloop@gmail.com>

diff --git a/tools/checkdocs.py b/tools/checkdocs.py
index 05f5279498e1c84c3190dd505ed1edbf31390a20..9f56a3f2112e268c1eaf2d444a711bdcdadb53cb 100755 (executable)
--- a/tools/checkdocs.py
+++ b/tools/checkdocs.py
@@ -108,8 +108,8 @@ def _check_file_links(toc_ids, path, c):
                 _pwarn(path, 'External link has no "ext" class: "{}"'.format(link))
 
         if href is not None:
-            if href.group(1).startswith('#'):
-                _pwarn(path, 'External link starts with #: "{}"'.format(href))
+            if href.group(1).startswith('#') and 'int' not in classes:
+                _pwarn(path, 'External link starts with #: "{}"'.format(href.group(1)))
         else:
             _perror(path, 'External link with no "href": "{}"'.format(link))
             ret = False