X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ChangeLog;h=1f25783a83b7091da1d1b4aefb64f669d59f0de8;hb=0a29fc2d832c86d69e98b32bbdbc4e746ca2d16c;hp=409ae1402ef9e2d940aec5d29370668fab25a820;hpb=5682f5f5c354875d4b0a75a1d1b39795123a1518;p=pspp diff --git a/ChangeLog b/ChangeLog index 409ae1402e..1f25783a83 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,14 @@ +2008-08-26 Eric Blake + + doc/INSTALL: resync from autoconf + * doc/Makefile (INSTALL, INSTALL.ISO, INSTALL.UTF-8): Simplify. + (INSTALL_PRELUDE): Delete; this is done more efficiently by + moving... + * install.texi [!autoconf]: ...here. Resync from autoconf. + * INSTALL: Regenerate. + * INSTALL.ISO: New file. + * INSTALL.UTF-8: Likewise. + 2008-08-26 Jim Meyering GNUmakefile: cfg.mk definitions override default autoreconf-rerun policy