--- configure.orig	2016-07-19 09:43:20 UTC

+++ configure

@@ -66,6 +66,7 @@ PYTHON=${PYTHON:-}

 PREFIX=/usr/local

 LIBDIR=

 WITH_DOCS=1

+WITH_API_DOCS=1

 WITH_EMACS=1

 WITH_BASH=1

 WITH_RUBY=1

@@ -134,7 +135,8 @@ Some features can be disabled (--with-fe

 --without-feature) :

 	--without-bash-completion	Do not install bash completions files

-	--without-docs			Do not install documentation and man pages

+	--without-docs			Do not install man pages

+	--without-api-docs		Do not install API documentation

 	--without-emacs			Do not install lisp file

 	--without-ruby			Do not install ruby bindings

 	--without-zsh-completion	Do not install zsh completions files

@@ -185,6 +187,14 @@ for option; do

 	fi

     elif [ "${option}" = '--without-docs' ] ; then

 	WITH_DOCS=0

+    elif [ "${option%%=*}" = '--with-api-docs' ]; then

+	if [ "${option#*=}" = 'no' ]; then

+	    WITH_API_DOCS=0

+	else

+	    WITH_API_DOCS=1

+	fi

+    elif [ "${option}" = '--without-api-docs' ] ; then

+	WITH_API_DOCS=0

     elif [ "${option%%=*}" = '--with-emacs' ]; then

 	if [ "${option#*=}" = 'no' ]; then

 	    WITH_EMACS=0

@@ -507,7 +517,7 @@ else

 fi

 have_doxygen=0

-if [ $WITH_DOCS = "1" ] ; then

+if [ $WITH_API_DOCS = "1" ] ; then

     printf "Checking if doxygen is available... "

     if command -v doxygen > /dev/null; then

 	printf "Yes.\n"