diff --git a/docs/conf.py b/docs/conf.py index cf0f25abcaa9..1a00ac736683 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -199,11 +199,14 @@ r"https://speakerdeck.com", r"https://\w+.stackexchange.com", r"https://stackoverflow.com", + r"https://webstore.ansi.org", # 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", + # CMU doesn't know how to send intermediates + r"https://wiki.sei.cmu.edu", ] autosectionlabel_prefix_document = True