log make-dist @ 112332:28ca83ef1128

age author description
Fri, 14 Jan 2011 13:12:57 -0800 Paul Eggert Merge from mainline.
Fri, 14 Jan 2011 10:14:17 -0800 Paul Eggert Merge from mainline.
Sat, 08 Jan 2011 23:29:26 -0800 Paul Eggert Use gnulib's getopt-gnu module.