Never mind. That "makeinfo --version" reports true (GNU sh-utils) 1.16 already indicates that it does nothing (other than return successfully). David On Saturday 13 Feb 99, David Starks-Browning writes: > Any chance that "makeinfo --help" or "makeinfo --version" could report > that it's really just a no-op? > > Thanks, > David