diff options
| author | Glenn Morris <rgm@gnu.org> | 2018-07-05 21:50:18 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2018-07-05 21:50:18 -0700 |
| commit | 6cfc7a7b1bc3989e6d2cc271222ff7ce4eb23b5e (patch) | |
| tree | 2e5620f06b5fbb8fcc289e53f5861b783af1a268 /.gitattributes | |
| parent | b73cde5e2815c531df7f5fd13e214a7d92f78239 (diff) | |
| download | emacs-6cfc7a7b1bc3989e6d2cc271222ff7ce4eb23b5e.tar.gz | |
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.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions