diff options
| author | Noam Postavsky <npostavs@gmail.com> | 2018-05-04 22:13:18 -0400 |
|---|---|---|
| committer | Noam Postavsky <npostavs@gmail.com> | 2018-05-20 09:47:36 -0400 |
| commit | a32412b8aa3dc14d810054601d9502ccfd1dae57 (patch) | |
| tree | e5981b3b71cc9f4af8a2d2a1fdf28b1f02261fc7 /make-dist | |
| parent | bb591f139f0602af292c772f974dcc14dabb1deb (diff) | |
| download | emacs-a32412b8aa3dc14d810054601d9502ccfd1dae57.tar.gz | |
* make-dist: Add '--no-info' option.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/make-dist b/make-dist index aba5c43c52f..bafcae35f08 100755 --- a/make-dist +++ b/make-dist @@ -51,6 +51,7 @@ clean_up=no make_tar=no default_gzip=gzip newer="" +with_info=yes with_tests=no changelog=yes verbose=no @@ -77,6 +78,11 @@ while [ $# -gt 0 ]; do "--no-changelog" ) changelog=no ;; + ## This options tells make-dist to skip the info files. This can + ## be useful for creating a tarball purely for test purposes. + "--no-info" ) + with_info=no + ;; ## This option tells make-dist to make the distribution normally, then ## remove all files older than the given timestamp file. This is useful ## for creating incremental or patch distributions. @@ -124,6 +130,7 @@ while [ $# -gt 0 ]; do echo " --no-check don't check for bad file names etc." echo " --no-update don't recompile or do analogous things" echo " --no-changelog don't generate the top-level ChangeLog" + echo " --no-info don't include info files" echo " --snapshot same as --clean-up --no-update --tar --no-check" echo " --tar make a tar file" echo " --tests include the test/ directory" @@ -292,7 +299,7 @@ if [ $check = yes ]; then ## This exits with non-zero status if any .info files need ## rebuilding. - if [ -r Makefile ]; then + if [ -r Makefile ] && [ "$with_info" = "yes" ]; then echo "Checking to see if info files are up-to-date..." make --question info || error=yes fi @@ -331,8 +338,10 @@ if [ $update = yes ]; then rm -f src/stamp-h.in echo timestamp > src/stamp-h.in - echo "Updating Info files" - make info + if [ "$make_info" = yes ] ; then + echo "Updating Info files" + make info + fi echo "Updating finder, custom and autoload data" (cd lisp && make updates EMACS="$EMACS") @@ -596,7 +605,7 @@ for f in `find etc -type f`; do ln $f $tempdir/$f || exit done -if [ -d info ]; then # Skip in case we've built --without-makeinfo. +if [ "$with_info" = "yes" ]; then echo "Making links to 'info'" ln `find info -type f -print` ${tempdir}/info || exit fi |