oss/Radicale
oss/Radicale
1
0
Fork 0
mirror of https://github.com/Kozea/Radicale.git synced 2025-06-26 16:45:52 +00:00
Code Wiki Activity

Check for duplicate ids and dead internal links

Browse source
This commit is contained in:
Unrud 2020-04-18 13:01:06 +02:00
parent 8a40233824
commit 958150ae61
1 changed files with 16 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

16
documentation-generator/postprocessor.py
View file

@ -43,6 +43,22 @@ def main():
header.append(" ")
header.append(link)
# Check for duplicate ids
visited_ids = set()
for element in soup.select("*[id]"):
if element["id"] in visited_ids:
print("ERROR: Duplicate id %r" % element["id"],
file=sys.stderr)
exit(1)
visited_ids.add(element["id"])
# Check for dead internal links
for link in soup.select("a[href^=\\#]"):
if link["href"][1:] not in visited_ids:
print("ERROR: Dead internal link %r" % link["href"],
file=sys.stderr)
exit(1)
sys.stdout.buffer.write(soup.encode(formatter="html5") + b"\n")