X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=command_util.sh;h=e33e0769d9cbc2230bf02b70813d5435f2447430;hp=b37c5b03ea5516c2bad778fd82e35a9fa6da2131;hb=b3644a3f5de245609dc608a947ed71e2f75b2fd5;hpb=02dd632ab2a6696aff7b6c6d108069704cfe871a 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 ---)