docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / config-h
2006-08-26 Paul EggertNew config-h module, so that "make" output needn't...