X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finstall.texi;h=c43298b01c906a86028ea055596cb9d4332d412d;hb=05efa9eaa5690bb85220bcc6af38eb18714c90a9;hp=a220458cc648e52ea3b137447951f4dd142022e9;hpb=2aa56ddff8f5c55cbbceec633b5206a532b96e66;p=pspp

diff --git a/doc/install.texi b/doc/install.texi
index a220458cc6..c43298b01c 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -2,12 +2,11 @@
 @c the INSTALL file.
 
 @ifclear autoconf
-@firstparagraphindent insert
 
 @unnumbered Installation Instructions
 
-Copyright @copyright{} 1994, 1995, 1996, 1999, 2000, 2001, 2002, 2004,
-2005, 2006, 2007, 2008, 2009, 2010, 2011 Free Software Foundation, Inc.
+Copyright @copyright{} 1994-1996, 1999-2002, 2004-2011 Free Software
+Foundation, Inc.
 
 Copying and distribution of this file, with or without modification, are
 permitted in any medium without royalty provided the copyright notice