Re: GNU bison suggestion: some include directive.

On Wed, Aug 09, 2023 at 12:36:46PM +0200, Basile Starynkevitch wrote:
>[...]
> If an input line starts with %+ followed by a file path, the content of that
> file is included at that place.
>[...]


I'm undecided on whether this functionality should be supported in
bison or left to external preprocessors.  But if it does go in, the
syntax should be

%include "filename.yh"

for consistency with other yacc/bison directives.