diff options
-rwxr-xr-x | docs/cmdline-opts/gen.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/cmdline-opts/gen.pl b/docs/cmdline-opts/gen.pl index 439b76585..a921298a6 100755 --- a/docs/cmdline-opts/gen.pl +++ b/docs/cmdline-opts/gen.pl @@ -158,7 +158,7 @@ sub single { print STDERR "WARN: unrecognized line in $f, ignoring:\n:'$_';" } } - my @dest; + my @desc; while(<F>) { push @desc, $_; } |