From de452ac62ef6d6c8f9156521c592309f4d0e0184 Mon Sep 17 00:00:00 2001
From: Benjamin Renard <brenard@aconit.easter-eggs.fr>
Date: Wed, 21 Apr 2010 12:33:17 +0200
Subject: [PATCH] Added buildDoc.sh script

---
 buildDoc.sh | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100755 buildDoc.sh

diff --git a/buildDoc.sh b/buildDoc.sh
new file mode 100755
index 00000000..f9964237
--- /dev/null
+++ b/buildDoc.sh
@@ -0,0 +1,29 @@
+#!/bin/sh
+
+ROOT_DIR=$( cd `dirname $0`; pwd )
+LOCAL_CFG_DIR=$ROOT_DIR/config.local
+
+# Import config
+if [ ! -f $LOCAL_CFG_DIR/local.sh ]
+then
+    echo "Error : You don't have create your own local.sh file in config.local directory. You could rely on the local.sh.example file to create your version."
+    exit 1
+fi
+
+source $LOCAL_CFG_DIR/local.sh
+
+cd $ROOT_DIR/doc
+
+make clean >> $LOG_FILE 2>&1
+make >> $LOG_FILE 2>&1 &
+
+PID=$!
+
+while [ -d /proc/$PID ]
+do
+	echo -n .
+	sleep 1
+done
+echo done.
+
+kill -9 $PID 2> /dev/null