From: Matthias Maier <tamiko@43-1.org>
Date: Tue, 27 Jun 2023 15:49:51 +0000 (-0500)
Subject: doc: update tag file list
X-Git-Tag: v9.5.0-rc1~5^2~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dc884f660482f812d59e2fbd9a85987da36a52b6;p=dealii.git

doc: update tag file list
---

diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html
index 1ba2d5bc84..3c76154036 100644
--- a/doc/users/doxygen.html
+++ b/doc/users/doxygen.html
@@ -30,12 +30,13 @@
       Doxygen, if the online documentation is available,
       <a href="../doxygen/deal.II/index.html">here</a>. For older revisions,
 	links are provided here by revision number:
-	<a href="http://www.dealii.org/9.4.0/doxygen/deal.tag">9.4.0</a>,
-	<a href="http://www.dealii.org/9.3.3/doxygen/deal.tag">9.3.3</a>,
-	<a href="http://www.dealii.org/9.2.0/doxygen/deal.tag">9.2.0</a>,
-	<a href="http://www.dealii.org/9.1.1/doxygen/deal.tag">9.1.1</a>,
-	<a href="http://www.dealii.org/9.0.0/doxygen/deal.tag">9.0.0</a>,
-	<a href="http://www.dealii.org/8.5.0/doxygen/deal.tag">8.5.0</a>.
+	<a href="https://www.dealii.org/9.5.0/doxygen/deal.tag">9.5.0</a>,
+	<a href="https://www.dealii.org/9.4.0/doxygen/deal.tag">9.4.0</a>,
+	<a href="https://www.dealii.org/9.3.3/doxygen/deal.tag">9.3.3</a>,
+	<a href="https://www.dealii.org/9.2.0/doxygen/deal.tag">9.2.0</a>,
+	<a href="https://www.dealii.org/9.1.1/doxygen/deal.tag">9.1.1</a>,
+	<a href="https://www.dealii.org/9.0.0/doxygen/deal.tag">9.0.0</a>,
+	<a href="https://www.dealii.org/8.5.0/doxygen/deal.tag">8.5.0</a>.
     </li>
     <li>Once your <code>deal.tag</code> file is in a location where
     Doxygen can find it, add the following line to your Doxygen