make-index is *much* slower than it should be

Signed-off-by: Steve Bennett <steveb@workware.net.au>

1 files changed, 5 insertions, 1 deletions

diff --git a/make-index b/make-index
index e743cd8..6f23cca 100755
--- a/make-index
+++ b/make-index
@@ -68,5 +68,9 @@ lappend mapping @INSERTINDEX@ [join $index \n]
 
 # Output the result
 foreach line $lines {
-	puts [string map $mapping $line]
+	if {[string first ` $line] >= 0} {
+		puts [string map $mapping $line]
+	} else {
+		puts $line
+	}
 }