Index: trunk/util/keylist.sh =================================================================== --- trunk/util/keylist.sh (revision 16033) +++ trunk/util/keylist.sh (revision 16034) @@ -303,9 +303,18 @@ } } + function cleanup(s) + { + gsub("\260", "\\°", s) + gsub("\\\\37777777660", "\\°", s) + gsub("\\\\057", "/", s) + return s + } + function node(path, desc, shape, orig) { orig=path + desc=cleanup(desc) sub("^[/_;]", "", orig) sub("[/_;]$", "", orig) gsub("[/_;]", " ", orig)