|
From: | Auto mailings of changes to Lily Issues |
Subject: | [Lilypond-auto] [LilyIssues-auto] [testlilyissues:issues] #4894 Remove unescaped @funindex entries |
Date: | Fri, 24 Jun 2016 13:25:18 +0000 |
In my opinion, requiring the backslash is perfectly fine for keyboard navigation. One rarely looks in the formatted index in Info but if one does, the current look is ugly. If the Texinfo team fixes the look of the index in HTML, I doubt we will get to profit since we are still using texi2html which, I think, is a different project (or is it an obsolescent part of Texinfo?).
At any rate, this seems like more of a problem of #4896 than this issue, even though related. Overall, I think the current state is preferable to the previous state. I don't think there is an easy way to change @funindex in HTML/Info for entries starting with \ to add also entries without backslash, nor do I find that helping confusion.
[issues:#4894] Remove unescaped @funindex entries
Status: Verified
Labels: Fixed_2_19_44
Created: Tue Jun 14, 2016 06:53 PM UTC by David Kastrup
Last Updated: Fri Jun 24, 2016 01:10 PM UTC
Owner: David Kastrup
Remove unescaped @funindex entries
With adjacent @funindex entries of which one differs from the other
only by the absence of a preceding backslash, the one without the
preceding backslash is removed. This is done by using the script:
sed -i '/address@hidden/{N;s/address@hidden \\\([^\n\\]*\)address@hidden \1$/@funindex \\\1/mg;s/address@hidden \([^\n\\]*\)address@hidden \\\1$/@funindex \\\1/mg;P;D;}' $(git grep -l 'address@hidden')
http://codereview.appspot.com/295570043
Sent from sourceforge.net because address@hidden is subscribed to https://sourceforge.net/p/testlilyissues/issues/
To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/testlilyissues/admin/issues/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.
------------------------------------------------------------------------------ Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San Francisco, CA to explore cutting-edge tech and listen to tech luminaries present their vision of the future. This family event has something for everyone, including kids. Get more information and register today. http://sdm.link/attshape
_______________________________________________ Testlilyissues-auto mailing list address@hidden https://lists.sourceforge.net/lists/listinfo/testlilyissues-auto
[Prev in Thread] | Current Thread | [Next in Thread] |