# If true, do not generate a @detailmenu in the "Top" node's menu.
#texinfo_no_detailmenu = False
+
+
+linkcheck_ignore = [
+ # Ignore jenkins because it's often slow to respond.
+ 'https://jenkins.opendaylight.org/releng',
+ 'https://jenkins.opendaylight.org/sandbox',
+ 'http://\$CONTROL_HOST:8181/dlux/index.html',
+ # The '#' in the path makes sphinx think it's an anchor
+ 'https://git.opendaylight.org/gerrit/#/admin/projects/releng/builder',
+]