Update doxygen tags.

diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html
index 028727b0ae9c68fe7b4ab91ba62ba612f445bba8..94bb121203f6f22ded4d53098976a6d626f48b10 100644 (file)
--- a/doc/users/doxygen.html
+++ b/doc/users/doxygen.html
@@ -30,6 +30,7 @@
       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.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.0.0/doxygen/deal.tag">9.0.0</a>,