From 5415e7ec24055981e6c0b1d5427fdc48a24b99f0 Mon Sep 17 00:00:00 2001 From: Philippe Proulx Date: Fri, 4 Sep 2015 18:14:50 -0400 Subject: [PATCH] checkdocs.py: check "int" class before warning Signed-off-by: Philippe Proulx --- tools/checkdocs.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/checkdocs.py b/tools/checkdocs.py index 05f5279..9f56a3f 100755 --- 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 -- 2.34.1