EXTRA_DIST = ust.texi info_TEXINFOS = ust.texi