aboutsummaryrefslogtreecommitdiff
path: root/make-index
diff options
context:
space:
mode:
authorSteve Bennett <steveb@workware.net.au>2012-02-14 07:32:37 +1000
committerSteve Bennett <steveb@workware.net.au>2012-03-02 15:57:16 +1000
commitb6c95fe34a5fa3b30e1f3f2fd3dc43be5414460a (patch)
tree44e21ea16ad2b4b5f12e3997e04bef7b1cb7d0df /make-index
parent601a8201e0eae95d40c844eba2b3341536f521b3 (diff)
downloadjimtcl-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>
Diffstat (limited to 'make-index')
-rwxr-xr-xmake-index2
1 files changed, 1 insertions, 1 deletions
diff --git a/make-index b/make-index
index 6f23cca..1908d00 100755
--- 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