Run "TZ=UTC0 admin/update-copyright $(git ls-files)".
Run 'TZ=UTC0 admin/update-copyright $(git ls-files)'.
* 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.