base   docnavigation
author Gerrit Uitslag
email  klapinklapin@gmail.com
date   2019-09-05
name   DocNavigation plugin
desc   Add navigation for documentation
url    https://www.dokuwiki.org/plugin:docnavigation