X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=command_util.sh;h=43f4dba850a92a93b2a0857645d121ca395c7440;hp=25fc0884f009afa15ebded0bbf813475afea1d1a;hb=705cad2ebbb5a37a43acc43676570b093b5c3b6a;hpb=c4f619ddfcf68bfc5e7d24e849b5e1ce3cc40161

diff --git a/command_util.sh b/command_util.sh
index 25fc0884..43f4dba8 100755
--- a/command_util.sh
+++ b/command_util.sh
@@ -242,10 +242,10 @@ read_header
 arg="$1"
 shift
 case "$arg" in
-	"c_file")
+	"c")
 		com_c_file
 		;;
-	"header")
+	"h")
 		com_header
 		;;
 	"man")