On Thu, May 20, 2010 at 1:06 PM, Francisco Vila <[email protected]> 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 _______________________________________________ lilypond-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/lilypond-devel
