From c45f86d28616a3d41dc1334cc2bd8723d104fd5d Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 27 Oct 2018 08:53:30 +0200
Subject: [PATCH] doc: fix distcheck

The extracted example, simple.yy, does not use %require "3.2", so it
generates a stack.hh, which breaks distcheck.

* doc/bison.texi: Fix it.
---
 TODO           | 3 +++
 doc/bison.texi | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/TODO b/TODO
index 0c819157..fabf6c25 100644
--- a/TODO
+++ b/TODO
@@ -224,6 +224,9 @@ YYERROR_VERBOSE?" by Simon Sobisch, on bison-help.
 This is a popular demand.  We already made many changes in the parser that
 should make this reasonably easy to implement.
 
+Bruce Mardle <marblypup@yahoo.co.uk>
+https://lists.gnu.org/archive/html/bison-patches/2015-09/msg00000.html
+
 ** Push parsers
 There is demand for push parsers in Java and C++.  And GLR I guess.
 
diff --git a/doc/bison.texi b/doc/bison.texi
index 0ab6f44e..683308cf 100644
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -10637,7 +10637,7 @@ generate C++.
 
 @comment file: c++/simple.yy: 1
 @example
-%require "@value{VERSION}"
+%require "3.2"
 %language "c++"
 @end example