Re: forcing pod2texi and txixml2texi users to use our modules

[Karl Berry]

    if you feel that the install of 
    the corresponding module should be skipped if USE_EXTERNAL* is set, 

It does seem cleaner to me.  Whether the installer is a distro packager
or not, I think it's what they'd expect.  It's what I (sysadmin hat)
would expect, anyway ...

k