+2003-01-09 Bruno Haible <bruno@clisp.org>
+
+ * gnulib-tool (func_all_modules): Ignore files ending in ~.
+ * MODULES.html.sh: Likewise.
+
2003-01-09 <karl@gnu.org>
* MODULES.html.sh: include `dirname $0` in PATH, to find
indent=""
missed_modules=`gnulib-tool --list`
-missed_files=`ls -d lib/* m4/* | sed -e /CVS/d -e /README/d -e /ChangeLog/d -e /Makefile/d -e /TODO/d`
+missed_files=`ls -d lib/* m4/* | sed -e /CVS/d -e /README/d -e /ChangeLog/d -e /Makefile/d -e /TODO/d -e '/~$/d'`
# func_echo line
# outputs line with indentation.
progname=$0
package=gnulib
-cvsdatestamp='$Date: 2003-01-01 14:58:41 $'
+cvsdatestamp='$Date: 2003-01-09 13:22:53 $'
last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
func_all_modules ()
{
(cd "$gnulib_dir/modules" && ls -1) \
- | sed -e '/^CVS$/d' -e '/^ChangeLog$/d' -e '/^TEMPLATE$/d' \
+ | sed -e '/^CVS$/d' -e '/^ChangeLog$/d' -e '/^TEMPLATE$/d' -e '/~$/d' \
| sort
}