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
..
help2man	tools: add dummy scripts for help2man and makeinfo	2015-01-13 07:48:52 +00:00
makeinfo	tools/missing-macros: bump version of makeinfo alternative script	2023-05-04 06:07:27 +02:00