Fix --help.

diff --git a/ChangeLog b/ChangeLog
index edf9555ec90269f41c610200a15e645df193bfc1..8c4b8c9ec1848adb5c7e289672078cc2eb80aef7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-11-09  Akim Demaille  <demaille@gostai.com>
+
+       Fix --help.
+
 2008-11-09  Akim Demaille  <demaille@gostai.com>
 
        Require the generation of parse-gram.output.

diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index f71611f09a8b3954c0b0a9aebf8c3368e9059013..40023d3fb80e625c845a497ea1af5313bd486052 100755 (executable)
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -23,7 +23,7 @@ bench.pl - bench marks for Bison parsers.
 
 =head1 SYNOPSIS
 
-  ./bench.pl [OPTIONS]... I<directives>
+  ./bench.pl [OPTIONS]... DIRECTIVES
 
 =head1 DIRECTIVES