Make it easier to update the navigation bar of the user documentation

Sebastian Bergemannrequested to merge
4216 into master

Closes af3#4216 (closed)

Issue-Ref: 4216 Issue-Url: af3#4216 (closed)

Signed-off-by: Sebastian Bergemann bergemann@fortiss.org

Merge request reports