Removes dokuwiki links in documentation

html/documentation.html

@@ -51,16 +51,15 @@ title: Documentation - Frama-C
                 <li><a href="https://git.frama-c.com/pub/frama-c/">GitLab Repository</a></li>
                 <li><a href="https://git.frama-c.com/pub/frama-c/CONTRIBUTING.md">Contributer guide</a></li>
                 <li><a href="https://git.frama-c.com/pub/frama-c/-/issues">Known issues</a></li>
-                <li><a href="/dokuwiki/bug_reporting_guidelines.html">Bug reporting guide</a></li>
+                <li><a href="/html/bug_reporting_guidelines.html">Bug reporting guide</a></li>
               </ul>
             </div>
             <div class="tile">
               <h4 class="tileTitle"><span>About Frama-C</span></h4>
               <ul>
                 <li><a href="/html/publications.html">List of publications</a></li>
-                <li><a href="/dokuwiki/exercises.html">Exercices</a></li>
-                <li><a href="/dokuwiki/teaching.html">Teaching</a></li>
                 <li><a href="/html/tutorials.html">Tutorials</a></li>
+                <li><a href="/html/teaching.html">Teaching</a></li>
               </ul>
             </div>
           </div>