summaryrefslogtreecommitdiff
path: root/doc/web/homepage/page-menu.inc
diff options
context:
space:
mode:
Diffstat (limited to 'doc/web/homepage/page-menu.inc')
-rw-r--r--doc/web/homepage/page-menu.inc13
1 files changed, 0 insertions, 13 deletions
diff --git a/doc/web/homepage/page-menu.inc b/doc/web/homepage/page-menu.inc
deleted file mode 100644
index 3394865..0000000
--- a/doc/web/homepage/page-menu.inc
+++ /dev/null
@@ -1,13 +0,0 @@
- <div class="menu">
- <?php
- $delim = false;
- foreach ($menu->urls as $url => $name) {
- if ($delim) {
- echo " |\n";
- }
- echo "<a href=\"$url\">$name</a>";
- $delim = true;
- }
- echo "\n";
- ?>
- </div>