X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finstalling.texi;h=5a9c2791c8184386244aa877285212b10ad65360;hb=41c45ec6bc320abc0eed650ed183b604a5f5befd;hp=fe5caa38a253a724c38fde21635ca9af8f26fb24;hpb=00feff7775f55b3292d1f9461a79dde54b9eb2ba;p=pspp-builds.git

diff --git a/doc/installing.texi b/doc/installing.texi
index fe5caa38..5a9c2791 100644
--- a/doc/installing.texi
+++ b/doc/installing.texi
@@ -56,4 +56,3 @@ but only if that directory already exists.
 (optional) Type @samp{make clean} to delete the PSPP binaries
 from the source tree.
 @end enumerate
-@setfilename ignored