Re: check with htmlxref.cnf?

[Karl Berry]

    No, I don't have it

Fine, don't worry about it.

    Currently it is set through a customization variable 
      CHECK_HTMLXREF
    Should it be called otherwise?

Sounds fine at first glance.  I'll report if something else comes to
mind.

    Should there be a command line option too?

I see no need.  If there is a custvar there is, in effect, already a
cmdline option.  Which is good, since it means we don't have to multiply
--options for all these rarely-used things.

thanks,
k