diff options
| author | Glenn Morris <rgm@gnu.org> | 2008-06-15 02:39:40 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2008-06-15 02:39:40 +0000 |
| commit | 611bee81fdd817dd07e1a4423fd6a042b48e7f43 (patch) | |
| tree | 0b951a8b28dcacf860e9cc7f2fd15ba886163863 /admin/admin.el | |
| parent | 27c4901ab2959c8a887d19e156f2e07fae3262a5 (diff) | |
| download | emacs-611bee81fdd817dd07e1a4423fd6a042b48e7f43.tar.gz | |
(set-version): Add doc/misc/faq.texi.
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 828e87f4225..2f62436a9a5 100644 --- a/admin/admin.el +++ b/admin/admin.el @@ -80,6 +80,9 @@ Root must be the root of an Emacs source tree." (rx (and ".TH EMACS" (1+ not-newline) "GNU Emacs" (1+ space) (submatch (1+ (in "0-9.")))))) + (set-version-in-file root "doc/misc/faq.texi" version + (rx (and "VER" (1+ space) + (submatch (1+ (in "0-9.")))))) (set-version-in-file root "lib-src/makefile.w32-in" version (rx (and "VERSION" (0+ space) "=" (0+ space) (submatch (1+ (in "0-9.")))))) |