| commit | 052ae25e5683e537501c217e90f1d33b59afc9f1 | [log] [tgz] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Fri Nov 14 13:09:41 2014 +0100 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Fri Nov 14 13:09:41 2014 +0100 |
| tree | dc667e38c43febe3e8de821a9e2d54c58cd0f20a | |
| parent | 6cf11642a4b14ac0ef7fd494a2257141954c4f6f [diff] [blame] |
Avoid advertising private option
diff --git a/scripts/config.pl b/scripts/config.pl index d04be59..8998fd6 100755 --- a/scripts/config.pl +++ b/scripts/config.pl
@@ -6,10 +6,11 @@ use strict; my $usage = <<EOU; -$0 [-f <file>] full $0 [-f <file>] unset <name> $0 [-f <file>] set <name> [<value>] EOU +# for our eyes only: +# $0 [-f <file>] full # Things that shouldn't be enabled with "full". # Notes: