Put a menu on the documentation
authormoodler <moodler>
Sun, 10 Nov 2002 14:05:52 +0000 (14:05 +0000)
committermoodler <moodler>
Sun, 10 Nov 2002 14:05:52 +0000 (14:05 +0000)
doc/top.php

index 65eae35..4f58d44 100644 (file)
@@ -6,7 +6,7 @@
         error("Site is misconfigured");
     }
     $strdocumentation = get_string("documentation");
-    print_header("$site->shortname: $strdocumentation", "$site->fullname", "$strdocumentation");
+    print_header("$site->shortname: $strdocumentation", "$site->fullname", "$strdocumentation", "", "", true, "", navmenu($site));
     
 ?>