[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)
www.paconet.org , www.csmbadajoz.com
0001-Web-Doc-build-fix-1036.patch
Description: Text Data
- [PATCH] Another one for #1036,
Francisco Vila <=