X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=command_util.sh;h=e33e0769d9cbc2230bf02b70813d5435f2447430;hp=b37c5b03ea5516c2bad778fd82e35a9fa6da2131;hb=6bcd10bc4ada11a04bc2b7425afe5a8855592cd2;hpb=9f58f76988085e31f3211a4f4735bacf537fafff diff --git a/command_util.sh b/command_util.sh index b37c5b03..e33e0769 100755 --- a/command_util.sh +++ b/command_util.sh @@ -36,7 +36,6 @@ read_one_command() template=0 template_name="" template_prototype="" - mkdir -p man/man1 while read key value; do case "$key" in ---)