Re: tetex 1.0.7 Makefiles/configure

[Thomas Esser]

> this is not proper behavior.  I am guessing some rule must be
> changed so that those executables are excluded from the list 
> of files to install/strip when "--without-texinfo" is given.

Yes, you are right. The code for stripping will be changed anyway (to
provide a proper way to disable stipping), so that can be taken into
account then.

Thanks,

        Thomas