mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-04-23 18:19:38 +00:00
e02ce4c7f0
* doc/local.mk: Consistently use *.tmp for temporary files. Fix comments.