diff options
| author | Glenn Morris <rgm@gnu.org> | 2008-06-16 02:23:10 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2008-06-16 02:23:10 +0000 |
| commit | 5de85e832505cd25f47069b51e51d20289e0ad55 (patch) | |
| tree | 858952291c9980bda21e6343bab4a736a186708d /admin/admin.el | |
| parent | 19b650ea21206eacb37a30fcb87882e16a1048e4 (diff) | |
| download | emacs-5de85e832505cd25f47069b51e51d20289e0ad55.tar.gz | |
(set-version): Add doc/lispref/book-spine.texinfo.
Diffstat (limited to 'admin/admin.el')
| -rw-r--r-- | admin/admin.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/admin/admin.el b/admin/admin.el index 04637ee2c86..2b4a7f40637 100644 --- a/admin/admin.el +++ b/admin/admin.el @@ -82,6 +82,9 @@ Root must be the root of an Emacs source tree." (set-version-in-file root "doc/lispref/vol2.texi" version (rx (and "EMACSVER" (1+ space) (submatch (1+ (in "0-9.")))))) + (set-version-in-file root "doc/lispref/book-spine.texinfo" version + (rx (and "Emacs Version" (1+ space) + (submatch (1+ (in "0-9.")))))) (set-version-in-file root "doc/man/emacs.1" version (rx (and ".TH EMACS" (1+ not-newline) "GNU Emacs" (1+ space) |