diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-12-04 07:08:26 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-12-04 08:36:52 +0100 |
commit | c20dd6279f9f6f288def8eea25a64f8ad7a6f901 (patch) | |
tree | 2a6637bfe2561404edbbab3568573687b1eea794 /THANKS | |
parent | 999277ddd83679cb6d4017ec4b61658283265ec7 (diff) | |
download | bison-c20dd6279f9f6f288def8eea25a64f8ad7a6f901.tar.gz |
examples: regenerate them when version.texi changes
When we extract the examples from the documentation, %require
"@value{VERSION}" is replaced with the current version. If we change
the git branch, without changing the documentation, the generated
examples will %require a version of Bison that differs from the actual
version.
* examples/local.mk (extracted.stamp): Depend on doc/version.texi.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions