* Makefile.in (bootstrap-clean): Remove stamp-h1 too.

Without this fix, "make distclean" leaves stamp-h1 behind.

diff --git a/src/ChangeLog b/src/ChangeLog
index 5164dc8ff8d3d24166639eda14fa618c61a0f8fe..31764cad4851c72e9ba73168dbcdee46529d563f 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-22  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * Makefile.in (bootstrap-clean): Remove stamp-h1 too.
+       Without this fix, "make distclean" leaves stamp-h1 behind.
+
 2013-04-20  Erik Charlebois  <erikcharlebois@gmail.com>
 
        * w32fns.c (w32_fullscreen_rect): New function to compute the

diff --git a/src/Makefile.in b/src/Makefile.in
index c6a067a1ade8bf8004bc12374dd7f6ec15899a3c..cef58c55e686cb58c72d8b4218808452c796909d 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -532,7 +532,7 @@ clean: mostlyclean
 ## It should remove all files generated during a compilation/bootstrap,
 ## but not things like config.status or TAGS.
 bootstrap-clean: clean
-       rm -f epaths.h config.h config.stamp stamp-oldxmenu ../etc/DOC-*
+       rm -f epaths.h config.h config.stamp stamp-h1 stamp-oldxmenu ../etc/DOC-*
        if test -f ./.gdbinit; then \
          mv ./.gdbinit ./.gdbinit.save; \
          if test -f "$(srcdir)/.gdbinit"; then rm -f ./.gdbinit.save; \