X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftransformation.texi;h=5eedba64f742fd566ba75a5c65ccf347d7d6f3ee;hb=17a7fef26d9f85af20e9a201690c769406171d26;hp=2a52ad17f72049b8fe4b036836a4bcd3bb3c7454;hpb=8af88c0b7ea2fe75df7e45497988ed0371006a86;p=pspp-builds.git

diff --git a/doc/transformation.texi b/doc/transformation.texi
index 2a52ad17..5eedba64 100644
--- a/doc/transformation.texi
+++ b/doc/transformation.texi
@@ -553,4 +553,3 @@ If workspace is exhausted, it falls back to a merge sort algorithm that
 involves creates numerous temporary files.
 
 @cmd{SORT CASES} may not be specified following TEMPORARY.  
-@setfilename ignored