Specify the general tool gnathtml ada files.