diff options
| author | Glenn Morris | 2014-06-28 17:46:40 -0700 |
|---|---|---|
| committer | Glenn Morris | 2014-06-28 17:46:40 -0700 |
| commit | c8bd285ff8c078d9f8cf59a0d530b62263e4a1c1 (patch) | |
| tree | feb99c70aebc92569ac452be01f1915d8cfb11ff /admin | |
| parent | 78cc32a19125350a7fc40623f93320b5718f1eb7 (diff) | |
| download | emacs-c8bd285ff8c078d9f8cf59a0d530b62263e4a1c1.tar.gz emacs-c8bd285ff8c078d9f8cf59a0d530b62263e4a1c1.zip | |
* 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 d96368c4f9a..d0df1ccc5b0 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2014-06-29 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * grammars/Makefile.in (bootstrap-clean): Don't delete Makefile, | ||
| 4 | for sake of top-level maintainer-clean rule. | ||
| 5 | |||
| 1 | 2014-06-26 Eli Zaretskii <eliz@gnu.org> | 6 | 2014-06-26 Eli Zaretskii <eliz@gnu.org> |
| 2 | 7 | ||
| 3 | * notes/unicode: Some notes about what to do when a new Unicode | 8 | * 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 1454225b80a..c3ee2ef951f 100644 --- a/admin/grammars/Makefile.in +++ b/admin/grammars/Makefile.in | |||
| @@ -99,7 +99,10 @@ ${cedetdir}/srecode/srt-wy.el: ${srcdir}/srecode-template.wy | |||
| 99 | distclean: | 99 | distclean: |
| 100 | rm -f Makefile | 100 | rm -f Makefile |
| 101 | 101 | ||
| 102 | bootstrap-clean maintainer-clean: distclean | 102 | ## Perhaps this should do what extraclean (qv) does. |
| 103 | bootstrap-clean: | ||
| 104 | |||
| 105 | maintainer-clean: distclean | ||
| 103 | 106 | ||
| 104 | ## We do not normally delete the generated files, even in bootstrap. | 107 | ## We do not normally delete the generated files, even in bootstrap. |
| 105 | ## Creating them does not take long, so we could easily change this. | 108 | ## Creating them does not take long, so we could easily change this. |