From fece6ddd6aaee0a0fdc82fee6fa7f195537b4f9d Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Tue, 13 Sep 2011 22:42:47 +0200
Subject: [PATCH] create subdirs man1 and man7 on the web

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

diff --git a/build.sh b/build.sh
index a6897d49..8ebfa168 100755
--- a/build.sh
+++ b/build.sh
@@ -96,10 +96,14 @@ case "$1" in
       
    web)
       cp README ${WEBDIR}/${WEBPAGE}
-      rm -rf ${WEBDIR}/${WEBBASE}/man && mkdir ${WEBDIR}/${WEBBASE}/man
+      rm -rf ${WEBDIR}/${WEBBASE}/man 
+      mkdir ${WEBDIR}/${WEBBASE}/man/man1
+      mkdir ${WEBDIR}/${WEBBASE}/man/man7
+
       rm -rf ${WEBDIR}/${WEBBASE}/speeches && mkdir ${WEBDIR}/${WEBBASE}/speeches
 
-      cp ${MAN1DSTDIR}/*.html ${MAN7DSTDIR}/*.html ${WEBDIR}/${WEBBASE}/man
+      cp ${MAN1DSTDIR}/*.html ${WEBDIR}/${WEBBASE}/man/man1
+      cp ${MAN7DSTDIR}/*.html ${WEBDIR}/${WEBBASE}/man/man7
       cp ${SPEECHESDIR}/*.pdf ${WEBDIR}/${WEBBASE}/speeches
       
       git describe > ${WEBDIR}/${WEBBASE}/man/VERSION