From 9b0efa5bc24b3f412b6579b5068cb52bab5c197f Mon Sep 17 00:00:00 2001
From: Akim Demaille <demaille@gostai.com>
Date: Thu, 7 Aug 2008 20:49:10 +0200
Subject: [PATCH] Fix --help.

---
 ChangeLog       | 4 ++++
 etc/bench.pl.in | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index edf9555e..8c4b8c9e 100644
--- 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 f71611f0..40023d3f 100755
--- 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
 
-- 
2.45.2