Put a menu on the documentation

moodle · Nov 10, 2002 · 76d6be7 · 76d6be7
1 parent e34461f
commit 76d6be7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/top.php b/doc/top.php
@@ -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));
 
 ?>