Minor changes prompted by benching the push parser. Akim Demaille (3): bench: make it easy to edit the generated files bench: simplify the `rand` target doc: tidy the text files
NEWS | 102 ++++++++++++++++++++++------------------------ README | 20 ++++----- README-hacking.md | 3 ++ TODO | 18 +++----- etc/README | 38 ----------------- etc/README.md | 36 ++++++++++++++++ etc/bench.pl.in | 11 +++-- etc/local.mk | 3 +- 8 files changed, 113 insertions(+), 118 deletions(-) delete mode 100644 etc/README create mode 100644 etc/README.md -- 2.27.0
