X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finstalling.texi;h=5a9c2791c8184386244aa877285212b10ad65360;hb=163b1639eab9b48eab64752205d75f951547b5c7;hp=86296c7f8a92a946aef1bf7ce7425350a84c8025;hpb=8444d8d47de5e5f8d076b6f43f73c2c29494031e;p=pspp-builds.git

diff --git a/doc/installing.texi b/doc/installing.texi
index 86296c7f..5a9c2791 100644
--- a/doc/installing.texi
+++ b/doc/installing.texi
@@ -1,4 +1,4 @@
-@node Installation, Configuration, Concept Index, Top
+@node Installation
 @appendix Installing PSPP
 @cindex installation
 @cindex PSPP, installing
@@ -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