doc/config: add menu.ini

refs #4820
This commit is contained in:
Eric Lippmann 2014-08-19 13:38:34 +02:00
parent 55b3a5384a
commit f52b3f7b8c
1 changed files with 5 additions and 0 deletions

View File

@ -0,0 +1,5 @@
[Documentation]
title = "Documentation"
icon = "img/icons/comment.png"
url = "doc"
priority = 80