Update tag file references for release.

diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html
index 415a2e6f154d335ca0657d66a112681d5c63bab6..6003b853762cdb1ee703c7ded70f492ac678767c 100644 (file)
--- a/doc/users/doxygen.html
+++ b/doc/users/doxygen.html
@@ -30,20 +30,12 @@
       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.3.0/doxygen/deal.tag">9.3.0</a>,
+       <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.0/doxygen/deal.tag">9.1.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="http://www.dealii.org/8.4.2/doxygen/deal.tag">8.4.2</a>,
-       <a href="http://www.dealii.org/8.3.0/doxygen/deal.tag">8.3.0</a>,
-       <a href="http://www.dealii.org/8.2.0/doxygen/deal.tag">8.2.0</a>,
-       <a href="http://www.dealii.org/8.1.0/doxygen/deal.tag">8.1.0</a>,
-       <a href="http://www.dealii.org/8.0.0/doxygen/deal.tag">8.0.0</a>,
-       <a href="http://www.dealii.org/7.3.0/doxygen/deal.tag">7.3.0</a>,
-       <a href="http://www.dealii.org/7.2.0/doxygen/deal.tag">7.2.0</a>,
-       <a href="http://www.dealii.org/7.1.0/doxygen/deal.tag">7.1.0</a>,
-       <a href="http://www.dealii.org/7.0.0/doxygen/deal.tag">7.0.0</a>.
+       <a href="http://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