From e0bededb067693c68e2551d63f5c4dec42280159 Mon Sep 17 00:00:00 2001
From: Simon Wilkinson <sxw@inf.ed.ac.uk>
Date: Wed, 21 May 2008 16:41:33 +0000
Subject: [PATCH] STABLE14-tweak-regen-20080521

LICENSE IPL10

make regen quieter if you don't want man pages


(cherry picked from commit 1705bda53e4ca198cf78d70ff424fc7af69b1879)
---
 regen.sh | 29 ++++++++++++++++++++++++-----
 1 file changed, 24 insertions(+), 5 deletions(-)

diff --git a/regen.sh b/regen.sh
index dc9f489b1c..8d04e24ce0 100755
--- a/regen.sh
+++ b/regen.sh
@@ -1,4 +1,19 @@
 #!/bin/sh
+
+while getopts "q" flag
+do
+    case "$flag" in
+	q)
+	    skipman=1;
+	    ;;
+	*)
+	    echo "Usage ./regen.sh [-q]"
+	    echo "	-q skips man page generation"
+	    exit
+	    ;;
+    esac
+done
+
 echo "Updating configuration..."
 echo "Running aclocal"
 aclocal -I src/cf
@@ -15,9 +30,13 @@ autoheader
 echo "Deleting autom4te.cache directory"
 rm -r autom4te.cache
 
-# Rebuild the man pages, to not require those building from source to have
-# pod2man available.
-echo "Building man pages"
-if test -d doc/man-pages ; then
-    (cd doc/man-pages && ./generate-man)
+if [ $skipman ] ; then
+    echo "Skipping man page build"
+else 
+    # Rebuild the man pages, to not require those building from source to have
+    # pod2man available.
+    if test -d doc/man-pages ; then
+        echo "Building man pages"
+        (cd doc/man-pages && ./generate-man)
+    fi
 fi