diff --git a/etc/doxygen/pages/GuiPlugins.dox b/etc/doxygen/pages/GuiPlugins.dox index 83a4ed21313f345c1a659f8a3980cca98f6ad8be..5aea7e242f7e7a0711e4cbbf78c4bbdc32fa1dbe 100644 --- a/etc/doxygen/pages/GuiPlugins.dox +++ b/etc/doxygen/pages/GuiPlugins.dox @@ -1,5 +1,5 @@ /** -\page RobotAPI-GuiPlugins GUI Plugins +\page RobotAPI-GuiPlugins RobotAPI Gui Plugins The following Gui Plugins are available: