From 7e9209fb2001525fd5b44550d4fd655c218dd37a Mon Sep 17 00:00:00 2001
From: Ed Hartnett <edwardjameshartnett@gmail.com>
Date: Fri, 24 May 2019 13:26:13 -0600
Subject: [PATCH] changed --enable-docs to --enable-developer-docs

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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