Re: forcing pod2texi and txixml2texi users to use our modules

[Patrice Dumas]

On Mon, Nov 19, 2012 at 04:11:31PM -0700, Karl Berry wrote:
>     I am not sure either, but it seems safer to me to install a copy.
> 
> If we never use our copies when configured --use-external, seems like
> all we are doing is forcing the distro maintainers to remove it after
> the fact.

Sure, but they know what/how to do, while it may be of use for other
users.  That being said I don't really care, if you feel that the install of 
the corresponding module should be skipped if USE_EXTERNAL* is set, 
just say it.

-- 
Pat