i grow weary of www.cosic.esat.kuleuven.be (#10045)

This commit is contained in:
Paul Kehrer 2023-12-23 12:58:41 -03:00 committed by GitHub
parent eb06a6a83d
commit cea8a236ae
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -204,6 +204,8 @@ linkcheck_ignore = [
# GitHub changed how they do page renders so anchor detection
# no longer works in source view
r"https://github.com/.*/blob/.*#L\d+",
# Kuleuven struggles with the endless forward march of time
r"https://www.cosic.esat.kuleuven.be",
]
autosectionlabel_prefix_document = True