Glenn Morris
|
6cfc7a7b1b
|
Automate upload of Emacs manuals to gnu.org
* 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.
|
2018-07-05 21:50:18 -07:00 |
|