diff options
author | Glenn Morris <[email protected]> | 2014-06-28 17:46:40 -0700 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2014-06-28 17:46:40 -0700 |
commit | c8bd285ff8c078d9f8cf59a0d530b62263e4a1c1 (patch) | |
tree | feb99c70aebc92569ac452be01f1915d8cfb11ff /admin | |
parent | 78cc32a19125350a7fc40623f93320b5718f1eb7 (diff) |
* admin/grammars/Makefile.in (bootstrap-clean): Don't delete Makefile,
for sake of top-level maintainer-clean rule.
Diffstat (limited to 'admin')
-rw-r--r-- | admin/ChangeLog | 5 | ||||
-rw-r--r-- | admin/grammars/Makefile.in | 5 |
2 files changed, 9 insertions, 1 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index d96368c4f9..d0df1ccc5b 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog @@ -1,3 +1,8 @@ +2014-06-29 Glenn Morris <[email protected]> + + * grammars/Makefile.in (bootstrap-clean): Don't delete Makefile, + for sake of top-level maintainer-clean rule. + 2014-06-26 Eli Zaretskii <[email protected]> * notes/unicode: Some notes about what to do when a new Unicode diff --git a/admin/grammars/Makefile.in b/admin/grammars/Makefile.in index 1454225b80..c3ee2ef951 100644 --- a/admin/grammars/Makefile.in +++ b/admin/grammars/Makefile.in @@ -99,7 +99,10 @@ ${cedetdir}/srecode/srt-wy.el: ${srcdir}/srecode-template.wy distclean: rm -f Makefile -bootstrap-clean maintainer-clean: distclean +## Perhaps this should do what extraclean (qv) does. +bootstrap-clean: + +maintainer-clean: distclean ## We do not normally delete the generated files, even in bootstrap. ## Creating them does not take long, so we could easily change this. |