On Sat, 2 Jan 1999, Todd Vierling wrote: > Actually, I'd prefer to leave USE_GTEXINFO where it is; it can just evaluate > to null if /usr/bin/install-info and /usr/bin/makeinfo exist. Cool. - Hubert -- Hubert Feyrer <hubert.feyrer@rz.uni-regensburg.de>