From 7598b054b3bad6a7bf0cd3e3b4dd568d695b4510 Mon Sep 17 00:00:00 2001 From: albert-github Date: Sat, 2 Jan 2021 15:45:52 +0100 Subject: bug_549093 Regular HTML comments are removed. Shall extra explanation in the documentation. --- doc/htmlcmds.doc | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/htmlcmds.doc b/doc/htmlcmds.doc index edc14d9..524233c 100644 --- a/doc/htmlcmds.doc +++ b/doc/htmlcmds.doc @@ -390,6 +390,7 @@ comments can be used: \verbatim /*! Visible text */ \endverbatim +The part `` will not be shown in the main documentation. \htmlonly -- cgit v0.12