From d796e11f8f7d459408824f0d2c8174e3f4715f84 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sat, 27 Jun 2020 17:03:28 +0200 Subject: [PATCH] news: fixes Reported by Jacob L. Mandelson. * NEWS: here. --- NEWS | 10 +++++----- THANKS | 1 + 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/NEWS b/NEWS index 29425bca..82636252 100644 --- a/NEWS +++ b/NEWS @@ -6,11 +6,11 @@ GNU Bison NEWS *** File prefix mapping - Bison learned a new argument, '--file-prefix-map OLD=NEW'. Any file path in - the output (specifically #line directives and #ifdef header guards) that - being with the prefix OLD will have it replace with the prefix NEW, similar - to the -ffile-prefix-map in GCC. This option can be used to make bison output - reproducible. + Bison learned a new argument, `--file-prefix-map OLD=NEW`. Any file path + in the output (specifically `#line` directives and `#ifdef` header guards) + that begins with the prefix OLD will have it replaced with the prefix NEW, + similar to the `-ffile-prefix-map` in GCC. This option can be used to + make bison output reproducible. ** Changes diff --git a/THANKS b/THANKS index e9bc2762..e38e3613 100644 --- a/THANKS +++ b/THANKS @@ -84,6 +84,7 @@ Guido Trentalancia trentalg@aston.ac.uk H. Merijn Brand h.m.brand@hccnet.nl Hans Åberg haberg-1@telia.com Horst Von Brand vonbrand@inf.utfsm.cl +Jacob L. Mandelson jlm-bbison@jlm.ofb.net Jan Nieuwenhuizen janneke@gnu.org Jannick thirdedition@gmx.net Jeff Hammond jeff_hammond@acm.org