diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-11-09 16:17:17 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-11-09 16:17:17 -0800 |
| commit | a16d6f90eee0668d3658e5a9ad89854a8d95a99a (patch) | |
| tree | 5f163bcdf3b5a5f8d68e3c4a3c81f8307e551932 /doc/emacs/ChangeLog | |
| parent | 5d4da32d4ec662febf3a2f59b713229867f743cb (diff) | |
| download | emacs-a16d6f90eee0668d3658e5a9ad89854a8d95a99a.tar.gz | |
Stop keeping doc/emacs/emacsver.texi in the repository
* configure.ac (doc/emacs/emacsver.texi): Generate it.
* make-dist (doc/emacs/emacsver.texi) [update]: No longer check it.
* doc/emacs/Makefile.in (top_srcdir, version): New, set by configure.
(doc-emacsver): New rule.
(bootstrap-clean, maintainer-clean): Delete emacsver.texi.
(emacsver.texi.in): Rename from emacsver.texi.
* admin/admin.el (set-version): No need to update doc/emacs/emacsver.texi.
(make-manuals-dist-output-variables): Add top_srcdir.
(make-manuals-dist--1): Handle @version@ specially.
* .bzrignore: Add doc/emacs/emacsver.texi.
Diffstat (limited to 'doc/emacs/ChangeLog')
| -rw-r--r-- | doc/emacs/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/emacs/ChangeLog b/doc/emacs/ChangeLog index 0ca6af0e648..68ac9f5af78 100644 --- a/doc/emacs/ChangeLog +++ b/doc/emacs/ChangeLog @@ -1,3 +1,10 @@ +2014-11-10 Glenn Morris <rgm@gnu.org> + + * Makefile.in (top_srcdir, version): New, set by configure. + (doc-emacsver): New rule. + (bootstrap-clean, maintainer-clean): Delete emacsver.texi. + (emacsver.texi.in): Rename from emacsver.texi. + 2014-11-09 Juri Linkov <juri@jurta.org> * search.texi (Other Repeating Search): Add documentation for |