| commit | 6cfc7a7b1bc3989e6d2cc271222ff7ce4eb23b5e | |
| author | Glenn Morris <rgm@gnu.org> | |
| Fri, 6 Jul 2018 04:50:18 +0000 (5 21:50 -0700) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Fri, 6 Jul 2018 04:50:18 +0000 (5 21:50 -0700) | ||
| tree | 2e5620f06b5fbb8fcc289e53f5861b783af1a268 | treesnapshot (tar.gz zip) |
| parent | b73cde5e2815c531df7f5fd13e214a7d92f78239 | commitdiff |
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.
* 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/admin.el | diffblobblamehistory | |
| admin/make-manuals | [new file with mode: 0755] | blob |
| admin/make-tarball.txt | diffblobblamehistory | |
| admin/upload-manuals | [new file with mode: 0755] | blob |