From dd064e670daf910fa50e138ec0c36822405b60f5 Mon Sep 17 00:00:00 2001 From: Steve Bennett Date: Mon, 4 Nov 2019 08:41:32 +1000 Subject: json: Add json encoder/decoder Using the jsmn library for decoding. Based on the original implementation by Svyatoslav Mishyn Signed-off-by: Steve Bennett --- make-index | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'make-index') diff --git a/make-index b/make-index index 1908d00..5071d88 100755 --- a/make-index +++ b/make-index @@ -16,13 +16,13 @@ while {[gets $f buf] >= 0} { incr c set target cmd_$c set lines [linsert $lines end-1 "\[\[$target\]\]"] - set prevlist [split $prev ":, "] + set prevlist [split $prev ", "] } else { set target _[string map {:: _} $prev] set prevlist [list $prev] } foreach cmd $prevlist { - set cmd [string trim $cmd] + set cmd [string trim $cmd :] if {[regexp {^[a-z.:]+$} $cmd]} { lappend commands [list $cmd $target] set cdict($cmd) $target -- cgit v1.1