aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdocs/cmdline-opts/gen.pl2
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, $_;
}