From f52b3f7b8c5757c961db958aad9d361e18b40957 Mon Sep 17 00:00:00 2001
From: Eric Lippmann <eric.lippmann@netways.de>
Date: Tue, 19 Aug 2014 13:38:34 +0200
Subject: [PATCH] doc/config: add menu.ini

refs #4820
---
 config/modules/doc/menu.ini | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 config/modules/doc/menu.ini

diff --git a/config/modules/doc/menu.ini b/config/modules/doc/menu.ini
new file mode 100644
index 000000000..86889b239
--- /dev/null
+++ b/config/modules/doc/menu.ini
@@ -0,0 +1,5 @@
+[Documentation]
+title       = "Documentation"
+icon        = "img/icons/comment.png"
+url         = "doc"
+priority    = 80