diff options
author | Eli Zaretskii <eliz@gnu.org> | 2013-05-16 12:58:56 +0300 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2013-05-16 12:58:56 +0300 |
commit | a9519e2685d19b13ce4e3e1ba13f97569013627e (patch) | |
tree | 6a9e0e35514c400749f23c891e9a95577fb9bfc1 /src/Makefile.in | |
parent | 3946d31b7bcf2a7dceacb86598823360f457cd19 (diff) | |
parent | 2d4bf34b5b83b3728b2fb18a72536f3e14afcf34 (diff) | |
download | emacs-a9519e2685d19b13ce4e3e1ba13f97569013627e.tar.gz |
Merge from trunk.
Diffstat (limited to 'src/Makefile.in')
-rw-r--r-- | src/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 2e1764723ec..c7a18363a5a 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -555,7 +555,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-h1 stamp-oldxmenu ../etc/DOC-* + rm -f epaths.h config.h config.stamp stamp-h1 stamp-oldxmenu if test -f ./.gdbinit; then \ mv ./.gdbinit ./.gdbinit.save; \ if test -f "$(srcdir)/.gdbinit"; then rm -f ./.gdbinit.save; \ |