# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1391469629 18000
# Node ID ddaf87b795324fa2f8783293f1618ff84ef226c9
# Parent  3c7b3646d0b37335024f92fb262f6eb63fa50f76
pass --disable-docs to Octave configure script unless ENABLE_DOCS == yes

diff -r 3c7b3646d0b3 -r ddaf87b79532 src/octave.mk
--- a/src/octave.mk	Mon Feb 03 18:16:02 2014 -0500
+++ b/src/octave.mk	Mon Feb 03 18:20:29 2014 -0500
@@ -31,8 +31,8 @@
   endif
 endif
 
-ifeq ($(ENABLE_DOCS),yes)
-  $(PKG)_ENABLE_DOCS_CONFIGURE_OPTIONS := --enable-docs
+ifneq ($(ENABLE_DOCS),yes)
+  $(PKG)_ENABLE_DOCS_CONFIGURE_OPTIONS := --disable-docs
 endif
 
 ifeq ($(ENABLE_OPENBLAS),yes)
diff -r 3c7b3646d0b3 -r ddaf87b79532 src/stable-octave.mk
--- a/src/stable-octave.mk	Mon Feb 03 18:16:02 2014 -0500
+++ b/src/stable-octave.mk	Mon Feb 03 18:20:29 2014 -0500
@@ -31,8 +31,8 @@
   endif
 endif
 
-ifeq ($(ENABLE_DOCS),yes)
-  $(PKG)_ENABLE_DOCS_CONFIGURE_OPTIONS := --enable-docs
+ifneq ($(ENABLE_DOCS),yes)
+  $(PKG)_ENABLE_DOCS_CONFIGURE_OPTIONS := --disable-docs
 endif
 
 ifeq ($(ENABLE_OPENBLAS),yes)