diff options
| author | Glenn Morris <rgm@gnu.org> | 2020-07-31 09:09:39 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2020-07-31 09:09:39 -0700 |
| commit | fbe363f5e18fb4975de168191f1ee9b686e48d9f (patch) | |
| tree | 805fb34ebc7685b6c1328c634c76fa697a11655e /admin/make-manuals | |
| parent | 450b50df11b2d0839cec36a445b1580ae1a27257 (diff) | |
| download | emacs-fbe363f5e18fb4975de168191f1ee9b686e48d9f.tar.gz emacs-fbe363f5e18fb4975de168191f1ee9b686e48d9f.tar.bz2 emacs-fbe363f5e18fb4975de168191f1ee9b686e48d9f.zip | |
; Maintainer header updates
Diffstat (limited to 'admin/make-manuals')
| -rwxr-xr-x | admin/make-manuals | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/make-manuals b/admin/make-manuals index 1cb1c514331..13a8148bb3c 100755 --- a/admin/make-manuals +++ b/admin/make-manuals @@ -4,6 +4,7 @@ ## Copyright 2018-2020 Free Software Foundation, Inc. ## Author: Glenn Morris <rgm@gnu.org> +## Maintainer: emacs-devel@gnu.org ## This file is part of GNU Emacs. |