Re: remove $deferred_ref

Derek Robert Price <[email protected]> Wed, 05 Feb 2003 12:37:20 -0500
Newsgroups gmane.comp.tex.texi2html.devel
Message-ID <[email protected]>
Dumas Patrice wrote:
> Hi,
> 
> I am about to remove $deferred_ref as it seems to me that it is never assigned
> anything else than '', and it is tested in if ($deferred_ref).
> 
> If somebody disagree, I could put it back.
> 
> Pat


Sounds good to me.  "Deferred reference for indexes".  I wonder what 
that was for.  Indexes work.

Derek