Minor fix.

* doc/Config: Fix links in the main menu.

1 files changed, 4 insertions, 4 deletions

diff --git a/doc/Config b/doc/Config
index 21e25bc..d82983c 100644
--- a/doc/Config
+++ b/doc/Config
@@ -36,16 +36,16 @@ $EXTRA_HEAD="\
   <link rel=\"stylesheet\" type=\"text/css\" href=\"${top_html_dir}/texi.css\">\
   <link rel=\"icon\" type=\"image/png\" href=\"/graphics/gnu-head-icon.png\">";
 
 $AFTER_BODY_OPEN="\
 <!--#include virtual=\"${top_html_dir}/inc/header.html\" -->\
 <ul class=\"tabs\">\
-  <li><a href=\"pies.html\">Main</a></li>\
-  <li><a href=\"example.html\">Examples</a></li>\
-  <li><a href=\"download.html\">Downloads</a></li>\
-  <li><a class=\"active\" href=\"manual.html\">Documentation</a></li>\
+  <li><a href=\"/software/pies/pies.html\">Main</a></li>\
+  <li><a href=\"/software/pies/example.html\">Examples</a></li>\
+  <li><a href=\"/software/pies/download.html\">Downloads</a></li>\
+  <li><a class=\"active\" href=\"/software/pies/manual.html\">Documentation</a></li>\
 </ul>";
 
 $PRE_BODY_CLOSE="Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.";
     
 $format_map{'multitable'}='table class="multitable"';