* make-dist: Remove lzma (it's replaced by xz).

diff --git a/ChangeLog b/ChangeLog
index 84d9987ccea68013a09bfce2991c5e47c5b586cc..2737f6284b00f92a3312454c49b1f53a58dab222 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-03-03  Glenn Morris  <rgm@gnu.org>
+
+       * make-dist: Remove lzma (it's replaced by xz).
+
 2013-03-01  Paul Eggert  <eggert@cs.ucla.edu>
 
        Merge from gnulib, incorporating:

diff --git a/make-dist b/make-dist
index a6410421b4908a57ecc3c7819fd35b5f7c1b2d4a..283defe8a7d862d972e799ad143f02680bd3193e 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -83,10 +83,6 @@ while [ $# -gt 0 ]; do
     "--bzip2")
       default_gzip="bzip2"
     ;;
-    ## Same with lzma.
-    "--lzma")
-      default_gzip="lzma"
-    ;;
     ## Same with xz.
     "--xz")
       default_gzip="xz"
@@ -107,7 +103,6 @@ while [ $# -gt 0 ]; do
       echo ""
       echo "  --bzip2  use bzip2 instead of gzip"
       echo "  --clean-up       delete staging directories when done"
-      echo "  --lzma   use lzma instead of gzip"
       echo "  --xz             use xz instead of gzip"
       echo "  --no-compress    don't compress"
       echo "  --newer=TIME     don't include files older than TIME"
@@ -518,7 +513,6 @@ if [ "${make_tar}" = yes ]; then
   fi
   case "${default_gzip}" in
     bzip2) gzip_extension=.bz2 ;;
-    lzma)  gzip_extension=.lzma ;;
     xz)  gzip_extension=.xz ;;
     gzip)  gzip_extension=.gz ; default_gzip="gzip --best";;
        *)  gzip_extension= ;;