abe.sh: maintainer_mode implies make_docs

Under --enable maintainer_mode, we probably want to enable make_docs,
unless disabled later on the command line.

This ensures that when we activate maintainer_mode, we also make sure
that the (possibly updated) docs can be built.

Change-Id: I78e57eb0fc53ca37e9d72360e4031b59dd612d8a

1 files changed, 6 insertions, 1 deletions

diff --git a/abe.sh b/abe.sh
index 61182332..1b45bb0e 100755
--- a/abe.sh
+++ b/abe.sh
@@ -189,7 +189,9 @@ OPTIONS
                 maintainer_mode
                         Configure components in maintainer mode.  This
                         requires the right versions of autoconf and
-                        automake in $PATH.
+                        automake in $PATH.  This sets --enable
+                        make_docs, unless --disable make_docs is
+                        provided later.
 
                 make_docs
                         [default] Make the toolchain package documentation.
@@ -1280,6 +1282,9 @@ while test $# -gt 0; do
 		    ;;
 		maintainer_mode)
 		    maintainer_mode="${value}"
+		    if [ "$maintainer_mode" = "yes" ]; then
+			make_docs="yes"
+		    fi
 		    ;;
 		make_docs)
 		    make_docs="${value}"