diff options
| author | Glenn Morris | 2014-11-09 16:57:01 -0800 |
|---|---|---|
| committer | Glenn Morris | 2014-11-09 16:57:01 -0800 |
| commit | 4e65e7e2b9f1966ada00ffb7480982495d48c463 (patch) | |
| tree | 78d88d40a1bc68729e454abc1cc0e9872876043d /admin/ChangeLog | |
| parent | d737aedbe8e8b4e7f2ca85075a5a75cea0481efb (diff) | |
| download | emacs-4e65e7e2b9f1966ada00ffb7480982495d48c463.tar.gz emacs-4e65e7e2b9f1966ada00ffb7480982495d48c463.zip | |
Stop keeping etc/refcards/emacsver.tex in the repository
* configure.ac (etc/refcards/emacsver.tex): Generate it.
* Makefile.in (etc-emacsver): New PHONY rule.
(bootstrap-clean): Delete etc/refcards/emacsver.tex.
* admin/admin.el (set-version): No need to update etc/refcards/emacsver.tex.
(set-copyright): Update etc/refcards/emacsver.tex.in.
* etc/refcards/emacsver.tex.in: Rename from emacsver.tex.
* .bzrignore: Add etc/refcards/emacsver.tex.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 2ec447b133c..f3a7638ba5b 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,5 +1,8 @@ | |||
| 1 | 2014-11-10 Glenn Morris <rgm@gnu.org> | 1 | 2014-11-10 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * admin.el (set-version): No need to update etc/refcards/emacsver.tex. | ||
| 4 | (set-copyright): Update etc/refcards/emacsver.tex.in. | ||
| 5 | |||
| 3 | * admin.el (set-version): No need to update doc/emacs/emacsver.texi. | 6 | * admin.el (set-version): No need to update doc/emacs/emacsver.texi. |
| 4 | (make-manuals-dist-output-variables): Add top_srcdir. | 7 | (make-manuals-dist-output-variables): Add top_srcdir. |
| 5 | (make-manuals-dist--1): Handle @version@ specially. | 8 | (make-manuals-dist--1): Handle @version@ specially. |