Travis CI: Test configure --disable-docs

(Cherry-pick commit 021188c from 'master' branch.)

diff --git a/.travis.yml b/.travis.yml
index a62b83297bc2fb6496210dcb3b80144c6fa4934e..920b5e1845bd3b271cf5bb038326fe3a34278e8b 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -137,7 +137,7 @@ matrix:
     compiler: gcc
     env:
     - CFLAGS_EXTRA="-D SMALL_CONFIG -D NO_GETENV"
-    - CONF_OPTIONS="--enable-cplusplus"
+    - CONF_OPTIONS="--enable-cplusplus --disable-docs"
   - os: linux
     compiler: gcc
     dist: trusty