diff --git a/.travis.yml b/.travis.yml
index 71ec0d84fb3..24fd6e268e1 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -46,7 +46,7 @@ script:
   - export FFLAGS='-fsanitize=address -fno-omit-frame-pointer'
   - export FCFLAGS='-fsanitize=address -fno-omit-frame-pointer'
   - export DISTCHECK_CONFIGURE_FLAGS='--enable-fortran'
-  - ./configure --enable-fortran --enable-docs
+  - ./configure --enable-fortran --enable-developer-docs
   - make
   - make -j distcheck
   - rm -rf build