Update documentation menu
Merge pull request #7 from florianv/menu

Update documentation menu