diff options
author | Steve Bennett <steveb@workware.net.au> | 2012-02-14 07:32:37 +1000 |
---|---|---|
committer | Steve Bennett <steveb@workware.net.au> | 2012-03-02 15:57:16 +1000 |
commit | b6c95fe34a5fa3b30e1f3f2fd3dc43be5414460a (patch) | |
tree | 44e21ea16ad2b4b5f12e3997e04bef7b1cb7d0df | |
parent | 601a8201e0eae95d40c844eba2b3341536f521b3 (diff) | |
download | jimtcl-b6c95fe34a5fa3b30e1f3f2fd3dc43be5414460a.zip jimtcl-b6c95fe34a5fa3b30e1f3f2fd3dc43be5414460a.tar.gz jimtcl-b6c95fe34a5fa3b30e1f3f2fd3dc43be5414460a.tar.bz2 |
Fix make-index speed-up
Need to substitute the index too
Signed-off-by: Steve Bennett <steveb@workware.net.au>
-rwxr-xr-x | make-index | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |