From: Peter Krempa Date: Tue, 14 Feb 2023 11:35:23 +0000 (+0100) Subject: scripts: check-html-references: Improve error messages and don't mess with relative... X-Git-Tag: v9.1.0-rc1~53 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=00956b55bf7249b1d45d0cd81243eee88b21e3e3;p=thirdparty%2Flibvirt.git scripts: check-html-references: Improve error messages and don't mess with relative paths Now that we have the source file name as a custom attribute we can use it to report which file actually needs to be edited to fix the error: ERROR: 'docs/uri.rst': broken link to: 'drvqemu.html#exaple' rather than: broken link targets: docs/uri.html broken link: drvqemu.html#exaple which pointed to file which does not exist in the source directory. This also allows us to delete all the relative path handling needed to report at least somewhat user-legible errors before. Signed-off-by: Peter Krempa Reviewed-by: Daniel P. Berrangé --- diff --git a/scripts/check-html-references.py b/scripts/check-html-references.py index 6d9116585e..8e726928e0 100755 --- a/scripts/check-html-references.py +++ b/scripts/check-html-references.py @@ -30,13 +30,6 @@ def get_file_list(prefix): filelist = [] for root, dir, files in os.walk(prefix): - prefixbase = os.path.dirname(prefix) - - if root.startswith(prefixbase): - relroot = root[len(prefixbase):] - else: - relroot = root - for file in files: if not re.search('\\.html$', file): continue @@ -45,20 +38,21 @@ def get_file_list(prefix): if '404.html' in file: continue - fullfilename = os.path.join(root, file) - relfilename = os.path.join(relroot, file) - filelist.append((fullfilename, relfilename)) + filelist.append(os.path.join(root, file)) return filelist # loads an XHTML and extracts all anchors, local and remote links for the one file -def process_file(filetuple): - filename, relfilename = filetuple +def process_file(filename): tree = ET.parse(filename) root = tree.getroot() + docname = root.get('data-sourcedoc') - anchors = [relfilename] + if not docname: + docname = filename + + anchors = [filename] targets = [] for elem in root.findall('.//html:a', ns): @@ -66,30 +60,30 @@ def process_file(filetuple): an = elem.get('id') if an: - anchors.append(relfilename + '#' + an) + anchors.append(filename + '#' + an) if target: if re.search('://', target): externallinks.append(target) elif target[0] != '#' and 'mailto:' not in target: - dirname = os.path.dirname(relfilename) - targetname = os.path.normpath(os.path.join(dirname, target)) + dirname = os.path.dirname(filename) + targetfull = os.path.normpath(os.path.join(dirname, target)) - targets.append((targetname, filename, target)) + targets.append((filename, docname, targetfull, target)) # older docutils generate "