output: New HTML driver option "bare".

[pspp] / doc / invoking.texi

diff --git a/doc/invoking.texi b/doc/invoking.texi
index 22754c9d122fa770004179a5757c6f0a0b8ac091..9590f093b887f8f6e1b53cca1f6bd6772a0e2d13 100644 (file)
--- a/doc/invoking.texi
+++ b/doc/invoking.texi
@@ -378,6 +378,11 @@ for details.
 Decorate the tables with borders.  If set to false, the tables produced
 will have no borders.  The default value is true.
 
+@item @option{-O bare=@var{boolean}}
+The HTML output driver ordinarily outputs a complete HTML document.
+If set to true, the driver instead outputs only what would normally be
+the contents of the @code{body} element.  The default value is false.
+
 @item @option{-O css=@var{boolean}}
 Use cascading style sheets.  Cascading style sheets give an improved appearance
 and can be used to produce pages which fit a certain web site's style.