Make it easier to update the navigation bar of the user documentation
Closes af3#4216 (closed)
Issue-Ref: 4216 Issue-Url: af3#4216 (closed)
Signed-off-by: Sebastian Bergemann bergemann@fortiss.org
Closes af3#4216 (closed)
Issue-Ref: 4216 Issue-Url: af3#4216 (closed)
Signed-off-by: Sebastian Bergemann bergemann@fortiss.org