>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> Akim Demaille <[EMAIL PROTECTED]> writes: >> I fixed it. Paul, you'll certainly want to have a peek at it. Maybe >> you won't like the double semantics I gave to output_parser_name etc. > Sorry, I don't quite follow. The patch looks small, which is nice. The point is @output_parser_name@, depending whether it is behind @output@ or, includes or not the directory part. That is what makes the patch small, but you might not like that. > Should there be a NEWS item? Also, does this change warrant > explanation in bison.texinfo? No, that's purely internal.
