remove $deferred_ref

Dumas Patrice <[email protected]> Wed, 5 Feb 2003 18:33:02 +0100
Newsgroups gmane.comp.tex.texi2html.devel
Message-ID <[email protected]>
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