Le lundi 09 novembre 2009 à 20:08 +0000, Graham Percival a écrit : > And we could try looking into why we get the duplicate > anchors which confuse opera)
If Opera is case-sensitive for anchors, it looks like I accidentally solved this issue: this isn't a consequence of a deliberate design but of my inability to downcase file names and anchors independently and the way I want, without getting deeper into the mess of Texi2HTML customization interface. Best, John
signature.asc
Description: Ceci est une partie de message numériquement signée
_______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
