8.5 task: update TAG file URL

diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html
index 3f21f7c79124d0712f2198af03f0b3fb7fc1b72c..0c9b4ab3a2c6f0a15a08eaa0131aeaa3f901f56a 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/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>,