tools/missing-macros: bump version of makeinfo alternative script
authorMichael Pratt <mcpratt@pm.me>
Thu, 23 Mar 2023 07:42:04 +0000 (03:42 -0400)
committerChristian Marangi <ansuelsmth@gmail.com>
Thu, 4 May 2023 04:07:27 +0000 (06:07 +0200)
commitd39c6cd29b212a6ad5d864893c7687f976600dd4
tree71559f5d818b111a899793e98832d00c68094abc
parente4977f614ffa2aaaaba0b5944747848b5b02f25a
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>
tools/missing-macros/src/bin/makeinfo