# HG changeset patch # User Bruno Haible # Date 1096890259 0 # Node ID 47f04c1cec1682cbb4b6717a863c64397aaeb346 # Parent 1a35ce4adf66b50d1d7b8a668a20a6a1a17b9003 'README' is not a module. diff --git a/ChangeLog b/ChangeLog --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2004-10-04 Bruno Haible + + * modules/README: New file. + * gnulib-tool (func_all_modules, func_verify_module): modules/README is + not a module. + 2004-10-01 Simon Josefsson * modules/memmem: New file. diff --git a/gnulib-tool b/gnulib-tool --- a/gnulib-tool +++ b/gnulib-tool @@ -22,7 +22,7 @@ progname=$0 package=gnulib -cvsdatestamp='$Date: 2004-09-29 05:58:14 $' +cvsdatestamp='$Date: 2004-10-04 11:44:19 $' last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'` version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'` @@ -268,7 +268,7 @@ func_all_modules () { (cd "$gnulib_dir/modules" && ls -1) \ - | sed -e '/^CVS$/d' -e '/^ChangeLog$/d' -e '/^TEMPLATE$/d' -e '/~$/d' \ + | sed -e '/^CVS$/d' -e '/^ChangeLog$/d' -e '/^README$/d' -e '/^TEMPLATE$/d' -e '/~$/d' \ | sort } @@ -279,6 +279,7 @@ if test ! -f "$gnulib_dir/modules/$module" \ || test "CVS" = "$module" \ || test "ChangeLog" = "$module" \ + || test "README" = "$module" \ || test "TEMPLATE" = "$module"; then echo "gnulib-tool: module $module doesn't exist" 1>&2 module=