aboutsummaryrefslogtreecommitdiffstats
path: root/admin
diff options
context:
space:
mode:
authorGlenn Morris <[email protected]>2014-06-28 17:46:40 -0700
committerGlenn Morris <[email protected]>2014-06-28 17:46:40 -0700
commitc8bd285ff8c078d9f8cf59a0d530b62263e4a1c1 (patch)
treefeb99c70aebc92569ac452be01f1915d8cfb11ff /admin
parent78cc32a19125350a7fc40623f93320b5718f1eb7 (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/ChangeLog5
-rw-r--r--admin/grammars/Makefile.in5
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.