Fix links in HTML doc generator

* doc/texinfo/gendocs_template: Fix links.
* doc/texinfo/html.init: Fix the Documentation link.

@@ -22,45 +22,45 @@
 <p>The manual for <b>%%PACKAGE%%</b> is available in the following formats:</p>
 
 <ul>
-  <li><a href="manual/%%PACKAGE%%.html">HTML
+  <li><a href="%%PACKAGE%%.html">HTML
       (%%HTML_MONO_SIZE%%K bytes)</a> - entirely on one web page.</li>
-  <li><a href="manual/html_node/index.html">HTML</a> - with one web page per
+  <li><a href="html_node/index.html">HTML</a> - with one web page per
       node.</li>
 %%IF HTML_SECTION%%
-  <li><a href="manual/html_section/index.html">HTML</a> - with one web page per
+  <li><a href="html_section/index.html">HTML</a> - with one web page per
       section.</li>
 %%ENDIF HTML_SECTION%%
 %%IF HTML_CHAPTER%%
-  <li><a href="manual/html_chapter/index.html">HTML</a> - with one web page per
+  <li><a href="html_chapter/index.html">HTML</a> - with one web page per
       chapter.</li>
 %%ENDIF HTML_CHAPTER%%
-  <li><a href="manual/%%PACKAGE%%.html.gz">HTML compressed
+  <li><a href="%%PACKAGE%%.html.gz">HTML compressed
        (%%HTML_MONO_GZ_SIZE%%K gzipped characters)</a> - entirely on
        one web page.</li>
-  <li><a href="manual/%%PACKAGE%%.html_node.tar.gz">HTML compressed
+  <li><a href="%%PACKAGE%%.html_node.tar.gz">HTML compressed
       (%%HTML_NODE_TGZ_SIZE%%K gzipped tar file)</a> -
       with one web page per node.</li>
 %%IF HTML_SECTION%%
-  <li><a href="manual/%%PACKAGE%%.html_section.tar.gz">HTML compressed
+  <li><a href="%%PACKAGE%%.html_section.tar.gz">HTML compressed
       (%%HTML_SECTION_TGZ_SIZE%%K gzipped tar file)</a> -
       with one web page per section.</li>
 %%ENDIF HTML_SECTION%%
 %%IF HTML_CHAPTER%%
-  <li><a href="manual/%%PACKAGE%%.html_chapter.tar.gz">HTML compressed
+  <li><a href="%%PACKAGE%%.html_chapter.tar.gz">HTML compressed
       (%%HTML_CHAPTER_TGZ_SIZE%%K gzipped tar file)</a> -
       with one web page per chapter.</li>
 %%ENDIF HTML_CHAPTER%%
-  <li><a href="manual/%%PACKAGE%%.info.tar.gz">Info document
+  <li><a href="%%PACKAGE%%.info.tar.gz">Info document
       (%%INFO_TGZ_SIZE%%K characters gzipped tar file)</a>.</li>
-  <li><a href="manual/%%PACKAGE%%.txt">ASCII text
+  <li><a href="%%PACKAGE%%.txt">ASCII text
       (%%ASCII_SIZE%%K characters)</a>.</li>
-  <li><a href="manual/%%PACKAGE%%.txt.gz">ASCII text compressed
+  <li><a href="%%PACKAGE%%.txt.gz">ASCII text compressed
       (%%ASCII_GZ_SIZE%%K gzipped characters)</a>.</li>
-  <li><a href="manual/%%PACKAGE%%.dvi.gz">TeX dvi file
+  <li><a href="%%PACKAGE%%.dvi.gz">TeX dvi file
       (%%DVI_GZ_SIZE%%K characters gzipped)</a>.</li>
-  <li><a href="manual/%%PACKAGE%%.pdf">PDF file
+  <li><a href="%%PACKAGE%%.pdf">PDF file
       (%%PDF_SIZE%%K characters)</a>.</li>
-  <li><a href="manual/%%PACKAGE%%.texi.tar.gz">Texinfo source
+  <li><a href="%%PACKAGE%%.texi.tar.gz">Texinfo source
       (%%TEXI_TGZ_SIZE%%K characters gzipped tar file)</a></li>
 </ul>
 

@@ -38,7 +38,7 @@ set_from_init_file('AFTER_BODY_OPEN', qq{
 <ul class='tabs'>
   <li><a href="${top_html_dir}/">Main</a></li>
   <li><a href="${top_html_dir}/download.html">Downloads</a></li>
-  <li><a class="active" href="${top_html_dir}/manual.html">Documentation</a></li>
+  <li><a class="active" href="${top_html_dir}/manual">Documentation</a></li>
   <li><a href="${top_html_dir}/wiki">Wiki</a></li>
 </ul>
 });