diff options
| -rw-r--r-- | doc/htmlcmds.doc | 1 |
1 files changed, 1 insertions, 0 deletions
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 /*! <!-- This is a comment with a comment block --> Visible text */ \endverbatim +The part `<!-- ... -->` will not be shown in the main documentation. \htmlonly |