Michael Pratt d39c6cd29b 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>

2023-05-04 06:07:27 +02:00

..

src

tools/missing-macros: bump version of makeinfo alternative script

2023-05-04 06:07:27 +02:00

Makefile

treewide: remove empty default cases

2020-09-17 12:46:19 +02:00