docbase: fix info filename; don't remove doc/updated-stamp