gnat_ug_unx.info*
gnat_ug_vms.info*
gnat_ug_vxw.info*
gnat_ug_wnt.info*
gnat_rm.info*
gnat-style.info*