Re: missing @anchor mangling for docbook output

[Patrice Dumas]

On Tue, Oct 26, 2010 at 08:38:14AM -0700, Per Bothner wrote:
> When generating --docbook output, the name in an @anchor
> does not get mangled, but the link does.

What should be the right output?  Should they both be 
mangled or none?

-- 
Pat