diff options
| author | Paul Eggert | 2018-03-30 16:11:45 -0700 |
|---|---|---|
| committer | Paul Eggert | 2018-03-30 16:12:07 -0700 |
| commit | 20fa40ddd3e49b73cf2127a147d3b4ee03a3b5ba (patch) | |
| tree | 4306d0885cac75189e022f66b0eb5ab3462d966c /make-dist | |
| parent | 6c48146f46a443b1e11b58c52dd8f2e5d9feb21c (diff) | |
| download | emacs-20fa40ddd3e49b73cf2127a147d3b4ee03a3b5ba.tar.gz emacs-20fa40ddd3e49b73cf2127a147d3b4ee03a3b5ba.zip | |
Improve doc for web pages; reproducible tarballs
* admin/make-tarball.txt: Make the tarballs more reproducible.
Fix instructions for web pages as best I can (they are still
incomplete).
* make-dist (default_gzip): Add --no-name for gzip.
(taropt): Add options to make the build more reproducible.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 8 |
1 files changed, 4 insertions, 4 deletions
| @@ -639,14 +639,14 @@ if [ "${make_tar}" = yes ]; then | |||
| 639 | case "${default_gzip}" in | 639 | case "${default_gzip}" in |
| 640 | bzip2) gzip_extension=.bz2 ;; | 640 | bzip2) gzip_extension=.bz2 ;; |
| 641 | xz) gzip_extension=.xz ;; | 641 | xz) gzip_extension=.xz ;; |
| 642 | gzip) gzip_extension=.gz ; default_gzip="gzip --best";; | 642 | gzip) gzip_extension=.gz ; default_gzip="gzip --best --no-name";; |
| 643 | *) gzip_extension= ;; | 643 | *) gzip_extension= ;; |
| 644 | esac | 644 | esac |
| 645 | echo "Creating tar file" | 645 | echo "Creating tar file" |
| 646 | taropt= | 646 | taropt='--numeric-owner --owner=0 --group=0 --mode=go+u,go-w --sort=name' |
| 647 | [ "$verbose" = "yes" ] && taropt=v | 647 | [ "$verbose" = "yes" ] && taropt="$taropt --verbose" |
| 648 | 648 | ||
| 649 | (cd ${tempparent} ; tar c${taropt}f - ${emacsname} ) \ | 649 | (cd ${tempparent} ; tar $taropt -cf - ${emacsname} ) \ |
| 650 | | ${default_gzip} \ | 650 | | ${default_gzip} \ |
| 651 | > ${emacsname}.tar${gzip_extension} | 651 | > ${emacsname}.tar${gzip_extension} |
| 652 | fi | 652 | fi |