[pitivi] bin: disable docbook if disabling docs in pitivi-git

[Thibault Saunier <tsaunier src gnome org>]

commit 5f16eeb7d3abdddd37221d97d0aeb49366931e65
Author: Thibault Saunier <thibault saunier collabora com>
Date:   Mon May 27 21:26:50 2013 -0400

    bin: disable docbook if disabling docs in pitivi-git

 bin/pitivi-git-environment.sh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/bin/pitivi-git-environment.sh b/bin/pitivi-git-environment.sh
index 4ca09d6..66173a3 100755
--- a/bin/pitivi-git-environment.sh
+++ b/bin/pitivi-git-environment.sh
@@ -343,7 +343,7 @@ if [ "$ready_to_run" != "1" ]; then
             if $BUILD_DOCS; then
                 ./autogen.sh
             else
-                ./autogen.sh --disable-gtk-doc
+                ./autogen.sh --disable-gtk-doc --disable-docbook
             fi
             if [ $? -ne 0 ]; then
                 echo "Could not run autogen for $m ; result: $?"