[tex-eplain] Improvement for hyperlink option handling

[geolsoft at mail.ru]

On Sun, Sep 04, 2005 at 12:31:07PM +0300, geolsoft at mail.ru wrote:
> we might also combine the destination groups
> `xrdef' and `definexref'.

No, this would not be a good idea.  The user might want to
have all \xrdef destinations to do the page fit, and
\definexref ones to be `exact' destinations (`xyz').  So I
think we better leave them separate.

-- 
Best regards,
Oleg Katsitadze