]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - command_util.sh
switch to a single rule for all command lists
[paraslash.git] / command_util.sh
index 25fc0884f009afa15ebded0bbf813475afea1d1a..43f4dba850a92a93b2a0857645d121ca395c7440 100755 (executable)
@@ -242,10 +242,10 @@ read_header
 arg="$1"
 shift
 case "$arg" in
 arg="$1"
 shift
 case "$arg" in
-       "c_file")
+       "c")
                com_c_file
                ;;
                com_c_file
                ;;
-       "header")
+       "h")
                com_header
                ;;
        "man")
                com_header
                ;;
        "man")