diff --git a/Mainpage.dox b/Mainpage.dox index 9ddd75ec4..d971a6945 100644 --- a/Mainpage.dox +++ b/Mainpage.dox @@ -80,7 +80,9 @@ /** * @page search Search the API documentation * + * \htmlonly *
+ * \endhtmlonly * */