summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorPeter Powell <petpow@saberuk.com>2019-05-15 10:57:02 +0100
committerPeter Powell <petpow@saberuk.com>2019-05-15 10:58:45 +0100
commita55ca0056963159b0e4cbc88f28c5c82cd44b05e (patch)
treeb96d7b0d4ae923dd1c3fe4c99719bcfee47f9a05 /configure
parentddc4f09bfbb335118222f54c30f13368c3340ef9 (diff)
Document the --disable-auto-extras configure option.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 4 insertions, 4 deletions
diff --git a/configure b/configure
index 1a8984567..e2e0828a2 100755
--- 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,