From 4d63694e20b3d564d148e272b0afb0c6c8002649 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@brief.schottelius.org>
Date: Wed, 21 Nov 2012 11:34:32 +0100
Subject: [PATCH] introduce new web-doc target to publish only the web
 documentation

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
---
 build | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/build b/build
index fb01c565..6fe8960f 100755
--- a/build
+++ b/build
@@ -331,14 +331,17 @@ eof
         done
     ;;
         
-    web)
-        set -e
+    web-doc)
         rsync -av "${basedir}/docs/web/" "${WEBTOPDIR}"
 
         cd "${WEBDIR}" && git add "${WEBBASE}"
         cd "${WEBDIR}" && git commit -m "cdist update" "${WEBBASE}" "${WEBPAGE}"
         cd "${WEBDIR}" && make pub
+    ;;
 
+    web)
+        set -e
+        $0 web-doc
         # Fix ikiwiki, which does not like symlinks for pseudo security
         ssh tee.schottelius.org \
           "cd /home/services/www/nico/www.nico.schottelius.org/www/software/cdist/man &&