X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=398f7642318ede8f973bac881479c718775ba5a2;hb=4e30d33a680cceb0ac2ee3e78c94fdeb46ab2fcd;hp=d71ecc8a3868d73a4f27d9fa3bdc70edbd6b5cb7;hpb=577c6ac9b93c494efdabc324365ec70a43f6d742;p=pspp-builds.git

diff --git a/doc/language.texi b/doc/language.texi
index d71ecc8a..398f7642 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -1331,6 +1331,14 @@ file, or scratch file.  Most often, a file handle is specified as the
 name of a file as a string, that is, enclosed within @samp{'} or
 @samp{"}.
 
+A file name string that begins or ends with @samp{|} is treated as the
+name of a command to pipe data to or from.  You can use this feature
+to read data over the network using a program such as @samp{curl}
+(e.g.@: @code{GET '|curl -s -S http://example.com/mydata.sav'}), to
+read compressed data from a file using a program such as @samp{zcat}
+(e.g.@: @code{GET '|zcat mydata.sav.gz'}), and for many other
+purposes.
+
 PSPP also supports declaring named file handles with the @cmd{FILE
 HANDLE} command.  This command associates an identifier of your choice
 (the file handle's name) with a file.  Later, the file handle name can