X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Futilities.texi;h=54ae7b3b9e5e2e9be189b171c8e4eaac5a63d88a;hb=538e1f5d35f8a48d43401b2c7abf7663219b638f;hp=3c688292ebc23c6b84d7c774bc3432825acb0bb6;hpb=009350385d97d9fba2b33ea68cfe8b1aeebf1529;p=pspp

diff --git a/doc/utilities.texi b/doc/utilities.texi
index 3c688292eb..54ae7b3b9e 100644
--- a/doc/utilities.texi
+++ b/doc/utilities.texi
@@ -184,8 +184,8 @@ This command cannot be used if the SAFER setting is active.
 
 @display
 Two possible syntaxes:
-        INCLUDE 'filename'.
-        @@filename.
+        INCLUDE 'file-name'.
+        @@file-name.
 @end display
 
 @cmd{INCLUDE} causes the PSPP command processor to read an
@@ -205,7 +205,7 @@ memory.
 
 @display
 PERMISSIONS
-        FILE='filename'
+        FILE='file-name'
         /PERMISSIONS = @{READONLY,WRITEABLE@}.
 @end display
 
@@ -270,12 +270,12 @@ SET
 (output driver options)
         /HEADERS=@{NO,YES,BLANK@}
         /LENGTH=@{NONE,length_in_lines@}
-        /LISTING=@{ON,OFF,filename@}
+        /LISTING=@{ON,OFF,'file-name'@}
         /MORE=@{ON,OFF@}
         /WIDTH=@{NARROW,WIDTH,n_characters@}
 
 (logging)
-        /JOURNAL=@{ON,OFF@} [filename]
+        /JOURNAL=@{ON,OFF@} ['file-name']
 
 (system files)
         /COMPRESSION=@{ON,OFF@}
@@ -504,7 +504,7 @@ The HOST command.
 @item
 The PERMISSIONS command.
 @item
-Pipe filenames (filenames beginning or ending with @samp{|}).
+Pipes (file names beginning or ending with @samp{|}).
 @end itemize
 
 Be aware that this setting does not guarantee safety (commands can still