X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftransformation.texi;h=5eedba64f742fd566ba75a5c65ccf347d7d6f3ee;hb=4a0d56089edc9b7a007da65bd31deb4ad9e3106e;hp=2a52ad17f72049b8fe4b036836a4bcd3bb3c7454;hpb=c3ac5a8af9c449072c7e872ca70a78c1755ae309;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