diff options
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 44fbd8ed543..07a2bcb757e 100644 --- a/admin/admin.el +++ b/admin/admin.el | |||
| @@ -84,6 +84,9 @@ Root must be the root of an Emacs source tree." | |||
| 84 | (submatch (1+ (in "0-9.")))))) | 84 | (submatch (1+ (in "0-9.")))))) |
| 85 | (set-version-in-file root "man/emacs.texi" version | 85 | (set-version-in-file root "man/emacs.texi" version |
| 86 | (rx (and "EMACSVER" (1+ space) | 86 | (rx (and "EMACSVER" (1+ space) |
| 87 | (submatch (1+ (in "0-9.")))))) | ||
| 88 | (set-version-in-file root "lispref/elisp.texi" version | ||
| 89 | (rx (and "EMACSVER" (1+ space) | ||
| 87 | (submatch (1+ (in "0-9."))))))) | 90 | (submatch (1+ (in "0-9."))))))) |
| 88 | 91 | ||
| 89 | ;;; arch-tag: 4ea83636-2293-408b-884e-ad64f22a3bf5 | 92 | ;;; arch-tag: 4ea83636-2293-408b-884e-ad64f22a3bf5 |