configure: optional build documentation, travis

Tweak Travis build to support the new `./configure` switch.

Signed-off-by: Mikko Johannes Koivunalho <mikko.koivunalho@iki.fi>

diff --git a/travis.sh b/travis.sh
index 88fd01b8864a0168be76272767767f8f18e89d10..47a9baf026dbfde969794c35bdff5c3373d50c98 100644 (file)
--- a/travis.sh
+++ b/travis.sh
@@ -38,11 +38,11 @@ fi
 
 if [ "${USE_CMAKE}" = 'NO' ] ; then
    autoreconf -i || exit 1
-   ./configure ${EXTRA_ARGS} || exit 1
+   ./configure ${EXTRA_ARGS} --disable-build-docs || exit 1
    make || exit 1
 
-   if [ ! -f doc/version.texi ]; then
-      echo "version.texi not generated";
+   if [ -f doc/version.texi ]; then
+      echo "Documentation was generated (doc/version.texi), though disabled";
       exit 1;
    fi