Slightly improved indexing for the string-% operator, thanks to comments

from Skip Montanaro.  There is one weirdness in the final index for HTML, but
that is low priority.

diff --git a/Doc/lib/libstdtypes.tex b/Doc/lib/libstdtypes.tex
index 2b871597394c8c731cbc657096a1a1442e891760..ed0c4d90f16ff6b2e87d248cc05a0102ba0fcaca 100644 (file)
--- a/Doc/lib/libstdtypes.tex
+++ b/Doc/lib/libstdtypes.tex
@@ -670,10 +670,11 @@ Return a copy of the string converted to uppercase.
 
 \subsubsection{String Formatting Operations \label{typesseq-strings}}
 
-\index{formatting, string}
+\index{formatting, string (\%{})}
 \index{string!formatting}
 \index{printf-style formatting}
 \index{sprintf-style formatting}
+\index{\protect\%{} formatting}
 
 String and Unicode objects have one unique built-in operation: the
 \code{\%} operator (modulo).  Given \code{\var{format} \%