X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpspp.texi;h=2e8b8f43f28cb065b73dd6a6c3bbb9a5cc5fa3fe;hb=000f6ce901178858530c3877d66976973b6a434c;hp=d399cb7e69c3e407c3077a124431d017e044f9a3;hpb=d7e52c8488b7cc4b7352f2057922c779b6ee25b1;p=pspp

diff --git a/doc/pspp.texi b/doc/pspp.texi
index d399cb7e69..2e8b8f43f2 100644
--- a/doc/pspp.texi
+++ b/doc/pspp.texi
@@ -130,7 +130,6 @@ in the production of this manual.
 * Command Index::               Index of PSPP procedures.
 * Concept Index::               Index of concepts.
 
-* Installation::               Installing pspp
 * GNU Free Documentation License:: License for copying this manual.
 @end menu
 
@@ -160,7 +159,6 @@ in the production of this manual.
 @include command-index.texi
 @include concept-index.texi
 
-@include installing.texi
 @include fdl.texi
 
 @bye