Re: [PATCH] Another one for #1036

[Graham Percival]

On Thu, May 20, 2010 at 1:06 PM, Francisco Vila <address@hidden> wrote:
> Hello. This patch includes a fix for remove_unneeded_anchor:
> therefore, the other patch which also fixed it should NOT be applied.

Thanks, looks great!  I am **so** happy to get rid of those
meaningless #foo  portions of urls.

> The patch has a side effect of eliminating the side menu highlighting
> of the current section. I have not investigated this new problem yet.
> If anyone has a clever idea of what's happening, It would be great.

Can't reproduce.  I have the normal highlighting here.  :)

rebuild from scratch (after completely nuking my build dir), comparing
exactly the same page on my local docs vs. the online docs, etc.


Pushed.

Cheers,
- Graham