adjust web target

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
14 years ago · 683e813ce2
parent 88ca7a44ec
commit 683e813ce2
1 changed files with 4 additions and 4 deletions
--- 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)