X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=command_util.sh;fp=command_util.sh;h=e33e0769d9cbc2230bf02b70813d5435f2447430;hp=b37c5b03ea5516c2bad778fd82e35a9fa6da2131;hb=c3b9d639c2fbea29af5b1a3f61e7e1678e0809b7;hpb=3339e10e3d70124b5b99f784c90d05cedd1be36b

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
 		---)