Index: keylist.sh =================================================================== --- keylist.sh (revision 16394) +++ keylist.sh (revision 16395) @@ -47,6 +47,7 @@ do case "$1" in --html) cmd="html";; + --boxed) cmd="boxed";; --lst) cmd="lst";; --dot) cmd="dot"; nodenames=$2; shift 1;; *) res_files="$res_files $1" ;; @@ -337,8 +338,27 @@ ' } +gen_boxed_html() +{ + $AWK -F '[\t]' ' + /^[a-z][;]/ { + key=substr($0, 1, 1) + TBL[key] = TBL[key] "\n