Document the --disable-auto-extras configure option.

diff --git a/configure b/configure
index 1a89845673ca9f0f195b60bfc34e4f3d96500444..e2e0828a2e63e5ef65306dddc5f46a9bca80aa2e 100755 (executable)
--- a/configure
+++ b/configure
@@ -79,13 +79,13 @@ exit 1 unless GetOptions(
        'help'   => \&cmd_help,
        'update' => \&cmd_update,
 
-       'development'          => \$opt_development,
-       'disable-interactive'  => \$opt_disable_interactive,
-       'disable-auto-extras'  => \$opt_disable_auto_extras,
-       'distribution-label=s' => \$opt_distribution_label,
        'binary-dir=s'         => \$opt_binary_dir,
        'config-dir=s'         => \$opt_config_dir,
        'data-dir=s'           => \$opt_data_dir,
+       'development'          => \$opt_development,
+       'disable-auto-extras'  => \$opt_disable_auto_extras,
+       'disable-interactive'  => \$opt_disable_interactive,
+       'distribution-label=s' => \$opt_distribution_label,
        'gid=s'                => \$opt_gid,
        'log-dir=s'            => \$opt_log_dir,
        'manual-dir=s'         => \$opt_manual_dir,

diff --git a/make/configure.pm b/make/configure.pm
index 877e4ce6cdde40a7132ab25a7ceb9d63188683df..1a21284cb81b1b6032f949e3cf6fc9ad68110146 100644 (file)
--- a/make/configure.pm
+++ b/make/configure.pm
@@ -154,6 +154,8 @@ MISC OPTIONS
 
   --clean                       Remove the configuration cache file and start
                                 the interactive configuration wizard.
+  --disable-auto-extras         Disables automatically enabling extra modules
+                                for which the dependencies are available.
   --disable-interactive         Disables the interactive configuration wizard.
   --distribution-label=[text]   Sets a distribution specific version label in
                                 the build configuration.