emacs/admin/make-manuals, branch scratch/substitute-command-keys Emacs is the extensible, customizable, self-documenting real-time display editor. ; Maintainer header updates 2020-07-31T16:09:39+00:00 Glenn Morris 2020-07-31T16:09:39+00:00 fbe363f5e18fb4975de168191f1ee9b686e48d9f 






Update copyright year to 2020
2020-01-01T00:59:52+00:00

Paul Eggert

2020-01-01T00:19:43+00:00

365e01cc9f64ce6ca947ccfd8612d60763280a37

Run "TZ=UTC0 admin/update-copyright $(git ls-files)".





Run "TZ=UTC0 admin/update-copyright $(git ls-files)".







Update copyright year to 2019
2019-01-01T01:01:13+00:00

Paul Eggert

2019-01-01T00:59:58+00:00

26bed8ba10eeaf0a340a8d0d760c5578dddec867

Run 'TZ=UTC0 admin/update-copyright $(git ls-files)'.





Run 'TZ=UTC0 admin/update-copyright $(git ls-files)'.







Automate upload of Emacs manuals to gnu.org
2018-07-06T04:50:18+00:00

Glenn Morris

2018-07-06T04:50:18+00:00

6cfc7a7b1bc3989e6d2cc271222ff7ce4eb23b5e

* admin/make-manuals, admin/upload-manuals: New scripts.
* admin/admin.el (make-manuals, make-manuals-dist): Handle batch mode.
* admin/make-tarball.txt: Update web-page details.





* admin/make-manuals, admin/upload-manuals: New scripts.
* admin/admin.el (make-manuals, make-manuals-dist): Handle batch mode.
* admin/make-tarball.txt: Update web-page details.