Remove menu.inc

[web.git] / menu.inc

diff --git a/menu.inc b/menu.inc
deleted file mode 100644 (file)
index 172625b..0000000
--- a/menu.inc
+++ /dev/null
@@ -1,9 +0,0 @@
-[role="menu"]
-. pass:attributes[<a href="index.html" class="{docname@index:active}">Home</a>]
-. pass:attributes[<a href="communication.html" class="{docname@communication:active}">Communication</a>]
-. pass:attributes[<a href="rules.html" class="{docname@rules:active}">Rules</a>]
-. pass:attributes[<a href="development.html" class="{docname@development:active}">Development</a>]
-. pass:attributes[<a href="todo.html" class="{docname@todo:active}">Todo</a>]
-. pass:attributes[<a href="downloads.html" class="{docname@downloads:active}">Downloads</a>]
-. pass:attributes[<a href="docs/index.html">Documentation</a>]
-. pass:attributes[<a href="about.html" class="{docname@about:active}">About</a>]