diff options
Diffstat (limited to 'doc/web/homepage/page-menu.inc')
| -rw-r--r-- | doc/web/homepage/page-menu.inc | 13 |
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> |