Use release-date, release-version and dt_copyright on docs

diff --git a/docs/index.html b/docs/index.html
index 10bf12223d98e870764f848ca355e9ef3649dc36..603b5f3510d9cf63e54d1b5b4e09f79066187508 100644 (file)
--- a/docs/index.html
+++ b/docs/index.html
@@ -3,8 +3,8 @@
 <div>
 <div align="center"><h1 class="title">
 <a name="set-index"></a>Valgrind Documentation</h1></div>
-<div align="center"><p class="releaseinfo">Release 3.17.0  19 March 2021</p></div>
-<div align="center"><p class="copyright">Copyright © 2000-2021
+<div align="center"><p class="releaseinfo"><?php echo $config['release-date'].": ".$config['release-version']; ?></p></div>
+<div align="center"><p class="copyright">Copyright &copy; <?php echo $config['dt_copyright'] ?>
         <a href="manual/dist.authors.html" title="2. AUTHORS">AUTHORS</a>
       </p></div>
 <div align="center"><div class="legalnotice">