[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] Another one for #1036

From: Francisco Vila
Subject: [PATCH] Another one for #1036
Date: Thu, 20 May 2010 14:06:55 +0200

Hello. This patch includes a fix for remove_unneeded_anchor:
therefore, the other patch which also fixed it should NOT be applied.

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.
I'm afraid my perl skills end here for the moment.

Francisco Vila. Badajoz (Spain) ,

Attachment: 0001-Web-Doc-build-fix-1036.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]