emacs/admin/make-manuals, branch scratch/benchmarks Emacs is the extensible, customizable, self-documenting real-time display editor. 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.