Re: Patch to make manuals work with makeinfo --html

[Phil Edwards <pedwards at disaster dot jaj dot com>]

On Fri, Dec 07, 2001 at 10:13:03PM +0000, Joseph S. Myers wrote:
>  current
> makeinfo prereleases (as installed on gcc.gnu.org) support generating
> output split by node with meaningful filenames based on the node name
> (which will give more durable URLs for parts of manuals than the
> current ones which break whenever a previous chapter is added or
> removed)

Are the makeinfo-generated node names still of the form

    foo.html#This Is the Node Title

?  The last time I tried generating the GCC Manual in HTML, all the cross-
references came out in that (totally useless) form.  But it's been a while
since I tried.


Phil

-- 
If ye love wealth greater than liberty, the tranquility of servitude greater
than the animating contest for freedom, go home and leave us in peace.  We seek
not your counsel, nor your arms.  Crouch down and lick the hand that feeds you;
and may posterity forget that ye were our countrymen.            - Samuel Adams