Re: check with htmlxref.cnf?

[Patrice Dumas]

On Sat, Sep 08, 2012 at 03:53:00PM -0600, Karl Berry wrote:
>     prefer that there are warning generated, or the problematic manual
>     names be put in a file?
> 
> Warnings.  In practice there will only be a few, after all, not
> hundreds.

It isn't that easy to know the line where the ref to the external manual
is done.  This should be doable, though.  Should I try harder to have the 
line?

Also I propose to warn only once for each manual name.

For now, the warning looks like

warning: No htmlxref.cnf entry found for `manual.info'

-- 
Pat