From a0058a181827d1122c76fef71efa1449950b49d0 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Tue, 13 Sep 2011 22:46:15 +0200
Subject: [PATCH] really create the directories

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 build.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 8ebfa168..bef4393b 100755
--- a/build.sh
+++ b/build.sh
@@ -97,8 +97,7 @@ case "$1" in
    web)
       cp README ${WEBDIR}/${WEBPAGE}
       rm -rf ${WEBDIR}/${WEBBASE}/man 
-      mkdir ${WEBDIR}/${WEBBASE}/man/man1
-      mkdir ${WEBDIR}/${WEBBASE}/man/man7
+      mkdir -p ${WEBDIR}/${WEBBASE}/man/man1 ${WEBDIR}/${WEBBASE}/man/man7
 
       rm -rf ${WEBDIR}/${WEBBASE}/speeches && mkdir ${WEBDIR}/${WEBBASE}/speeches