docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / flexmember
2006-11-06 Paul Eggert* MODULES.html.sh (Core language properties): New modul...