From: Ben Pfaff Date: Sat, 23 Feb 2019 02:48:55 +0000 (-0800) Subject: doc: Fix some errors in DOCUMENT description. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=132649d6675b446dbbb6463f3071b291a303e818;p=pspp doc: Fix some errors in DOCUMENT description. Thanks to Nolan Void for reporting the issues. --- diff --git a/doc/utilities.texi b/doc/utilities.texi index f229f0ee7f..db96725900 100644 --- a/doc/utilities.texi +++ b/doc/utilities.texi @@ -118,11 +118,12 @@ DOCUMENTS}. They can be removed from the active dataset with @cmd{DROP DOCUMENTS}. Specify the @var{documentary text} following the @subcmd{DOCUMENT} keyword. -It is interpreted literally --- any quotes or other punctuation marks +It is interpreted literally---any quotes or other punctuation marks will be included in the file. -You can extend the documentary text over as many lines as necessary. +You can extend the documentary text over as many lines as necessary, +including blank lines to separate paragraphs. Lines are truncated at 80 bytes. Don't forget to terminate -the command with a dot or a blank line. @xref{ADD DOCUMENT}. +the command with a dot at the end of a line. @xref{ADD DOCUMENT}. @node DISPLAY DOCUMENTS @section DISPLAY DOCUMENTS