From 679e7a367f91ce3350abb34310ecd7c5a25d7488 Mon Sep 17 00:00:00 2001 From: Andreas Stefl Date: Tue, 11 Jul 2023 12:17:28 +0200 Subject: [PATCH] fix: Ignore all of http://eigen.tuxfamily.org (#2296) #2256 was not sufficient. We have to ignore the root too --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 9d49c38b525..266cde1bb98 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -55,7 +55,7 @@ r"https://doi.org/.*", r"https://cernvm.cern.ch/.*", r"https://tavianator.com/.*", - r"http://eigen.tuxfamily.org/.*", + r"http://eigen.tuxfamily.org.*", ] # -- Options for HTML output --------------------------------------------------