Fix make-index speed-up

Need to substitute the index too Signed-off-by: Steve Bennett <steveb@workware.net.au>
msteveb · Mar 2, 2012 · b6c95fe · b6c95fe
1 parent 601a820
commit b6c95fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make-index b/make-index
@@ -68,7 +68,7 @@ lappend mapping @INSERTINDEX@ [join $index \n]
 
 # Output the result
 foreach line $lines {
-	if {[string first ` $line] >= 0} {
+	if {[string first ` $line] >= 0 || [string first @ $line] >= 0} {
 		puts [string map $mapping $line]
 	} else {
 		puts $line