From 683e813ce22da3ff76933dff093710e16a104db7 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 25 Mar 2011 22:13:07 +0100
Subject: [PATCH] adjust web target

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

diff --git a/build.sh b/build.sh
index cf0574fd..2c1570f5 100755
--- a/build.sh
+++ b/build.sh
@@ -98,10 +98,10 @@ case "$1" in
    web)
       cp README ${WEBDIR}/${WEBPAGE}
       rm -rf ${WEBDIR}/${WEBBASE}/man && mkdir ${WEBDIR}/${WEBBASE}/man
-      cp -r ${MANHTMLDIR}/* ${WEBDIR}/${WEBBASE}/man
-      cd ${WEBDIR} && echo git add ${WEBBASE}/man
-      cd ${WEBDIR} && echo git commit -m "cdist update" ${WEBBASE} ${WEBPAGE}
-      cd ${WEBDIR} && echo make pub
+      cp ${MAN1DSTDIR}/*.html ${MAN7DSTDIR}/*.html ${WEBDIR}/${WEBBASE}/man
+      cd ${WEBDIR} && git add ${WEBBASE}/man
+      cd ${WEBDIR} && git commit -m "cdist update" ${WEBBASE} ${WEBPAGE}
+      cd ${WEBDIR} && make pub
    ;;
 
    pub)