From ff51d159dd8b08acb373f02f7f005c4d7ac8b9a2 Mon Sep 17 00:00:00 2001
From: David MacKenzie <djm@djmnet.org>
Date: Sat, 26 Jun 1993 20:09:41 +0000
Subject: [PATCH] *** empty log message ***

---
 doc/bison.texinfo | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 77266f9b..6b26ef85 100644
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -4707,7 +4707,11 @@ output file is called @file{foo.output}.@refill
 
 @item -V
 @itemx --version
-Print the version number of Bison.
+Print the version number of Bison and exit.
+
+@item -h
+@itemx --help
+Print a summary of the command-line options to Bison and exit.
 
 @need 1750
 @item -y
@@ -4738,6 +4742,7 @@ the corresponding short option.
 \line{ --defines \leaderfill -d}
 \line{ --file-prefix \leaderfill -b}
 \line{ --fixed-output-files \leaderfill -y}
+\line{ --help \leaderfill -h}
 \line{ --name-prefix \leaderfill -p}
 \line{ --no-lines \leaderfill -l}
 \line{ --output-file \leaderfill -o}
@@ -4753,6 +4758,7 @@ the corresponding short option.
 --defines                             -d
 --file-prefix=@var{prefix}                  -b @var{file-prefix}
 --fixed-output-files --yacc           -y
+--help                                -h
 --name-prefix                         -p
 --no-lines                            -l
 --output-file=@var{outfile}                 -o @var{outfile}
-- 
2.47.2