diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/commands.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/commands.doc b/doc/commands.doc index b9ffc3e..a222ce0 100644 --- a/doc/commands.doc +++ b/doc/commands.doc @@ -2568,7 +2568,7 @@ Commands for displaying examples \section cmdxmlinclude \\xmlinclude <file-name> \addindex \\xmlinclude - This command includes contents of the the file \<file-name\> as is in the XML documentation. + This command includes contents of the file \<file-name\> as is in the XML documentation. The command is equivalent to pasting the contents of the file in the documentation and placing \ref cmdxmlonly "\\xmlonly" and \ref cmdendxmlonly "\\endxmlonly" commands around it. |