Re: 5-arg xref to Top w/o 3rd arg

[Patrice Dumas]

On Fri, Jan 20, 2012 at 01:16:13PM -0800, Karl Berry wrote:
>     But other output formats may be affected, at least docbook and HTML
>     which nowadays are more similar with TeX output than with info.
> 
> So ... can you make those changes to Docbook and HTML a la what I just
> did to texinfo.tex, if not already done?  ("See @cite{The GNU Emacs
> Manual}" when no node/section name is given.)  My ad hoc test file is
> below.

I did that.

For HTML I added a customization variable KEEP_TOP_EXTERNAL_REF.  If
it is set, (unset is the default), a first argument Top node is not
ignored when there is a manual (5) argument.

-- 
Pat