1base docnavigation 2author Gerrit Uitslag 3email klapinklapin@gmail.com 4date 2019-09-05 5name DocNavigation plugin 6desc Add navigation for documentation 7url https://www.dokuwiki.org/plugin:docnavigation 8