diff options
| -rw-r--r-- | doc/output.but | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/output.but b/doc/output.but index 1fec9c5..68fc04e 100644 --- a/doc/output.but +++ b/doc/output.but @@ -8,7 +8,7 @@ that format. \H{output-text} Plain text This output format generates the document as a single \i{plain text} -file. +file. No index is generated. The precise formatting of the text file can be controlled by a variety of configuration directives. They are listed in the |