diff options
| author | Michael Pratt <mcpratt@pm.me> | 2023-03-23 03:42:04 -0400 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-05-04 06:07:27 +0200 |
| commit | d39c6cd29b212a6ad5d864893c7687f976600dd4 (patch) | |
| tree | 71559f5d818b111a899793e98832d00c68094abc /tools/automake | |
| parent | e4977f614ffa2aaaaba0b5944747848b5b02f25a (diff) | |
| download | upstream-d39c6cd29b212a6ad5d864893c7687f976600dd4.tar.gz upstream-d39c6cd29b212a6ad5d864893c7687f976600dd4.tar.bz2 upstream-d39c6cd29b212a6ad5d864893c7687f976600dd4.zip | |
tools/missing-macros: bump version of makeinfo alternative script
Some new releases of GNU tools are checking for a higher version
of makeinfo than what our scripted alternative shows
when working with checked-out sources instead of releases.
Since this is a "fake" makeinfo we can also just fake the version.
Signed-off-by: Michael Pratt <mcpratt@pm.me>
Diffstat (limited to 'tools/automake')
0 files changed, 0 insertions, 0 deletions