diff options
Diffstat (limited to 'config_office/configure')
-rwxr-xr-x | config_office/configure | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/config_office/configure b/config_office/configure index 23548e6b8637..fcff120cb793 100755 --- a/config_office/configure +++ b/config_office/configure @@ -1,5 +1,5 @@ #! /bin/sh -# From configure.in Revision: 1.260 . +# From configure.in Revision: 1.261 . # Guess values for system-dependent variables and create Makefiles. # Generated by GNU Autoconf 2.59. # @@ -1004,6 +1004,8 @@ Optional Features: --disable-reportdesign disables the build of the Report Builder extension + --disable-minimizer disables the build of the Presentation Minimizer extension + --disable-neon Disable neon and the compilation of webdav binding --disable-Xaw Disables the use of Xaw for the Netscape/Mozilla @@ -2349,6 +2351,13 @@ if test "${enable_reportdesign+set}" = set; then enableval="$enable_reportdesign" fi; +# Check whether --enable-minimizer or --disable-minimizer was given. +if test "${enable_minimizer+set}" = set; then + enableval="$enable_minimizer" + +else + enable_minimizer=yes +fi; # Check whether --with-system-jfreereport or --without-system-jfreereport was given. if test "${with_system_jfreereport+set}" = set; then |