docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / xmalloca
2007-06-09 Bruno HaibleMove to here from xallocsa.