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