[PATCH 0/3] bench: clean up

[Akim Demaille]

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