diff options
-rw-r--r-- | docs/conf.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 83499f0..1ec003c 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -4,6 +4,7 @@ from textwrap import dedent import os +import re import sys import jsonschema @@ -238,6 +239,15 @@ texinfo_documents = [ # How to display URL addresses: "footnote", "no", or "inline". # texinfo_show_urls = "footnote" +# -- Options for the linkcheck builder ------------------------------------ + + +def entire_domain(host): + return r"http.?://" + re.escape(host) + r"($|/.*)" + + +linkcheck_ignore = [entire_domain("codecov.io")] + # -- Options for sphinxcontrib-spelling ----------------------------------- spelling_word_list_filename = "spelling-wordlist.txt" |