diff options
| -rwxr-xr-x | generate-cmdlist.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh index e517c33710..a1ab2b1f07 100755 --- a/generate-cmdlist.sh +++ b/generate-cmdlist.sh @@ -67,10 +67,7 @@ print_command_list () { while read cmd rest do printf " { \"$cmd\", $(get_synopsis $cmd), 0" - for cat in $(echo "$rest" | get_category_line) - do - printf " | CAT_$cat" - done + printf " | CAT_%s" $(echo "$rest" | get_category_line) echo " }," done echo "};" |