X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Futilities.texi;h=db96725900d8bd8f6a89a533a3280d5805f3ebdf;hb=596aa20a73b528bf0644bcfd9e49a3188be64c6b;hp=f229f0ee7fb8df70538582d5094bb31272ffa142;hpb=937311ef101f8109bb1baf3839aad6b42d871b75;p=pspp

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