doc: update tag file list

diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html
index 1ba2d5bc8440c779f48d786af6976fe9733c0a3b..3c761540365363ff37a7a1999647326583cb3f10 100644 (file)
--- 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