DEVEL15-tweak-regen-20080521
authorSimon Wilkinson <sxw@inf.ed.ac.uk>
Wed, 21 May 2008 16:41:07 +0000 (16:41 +0000)
committerDerrick Brashear <shadow@dementia.org>
Wed, 21 May 2008 16:41:07 +0000 (16:41 +0000)
LICENSE IPL10

make regen quieter if you don't want man pages

(cherry picked from commit 1705bda53e4ca198cf78d70ff424fc7af69b1879)

regen.sh

index f5150fe..8d04e24 100755 (executable)
--- 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.
-if test -d doc/man-pages ; then
-    echo "Building man pages"
-    (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