mirror of
git://git.openwrt.org/openwrt/openwrt.git
synced 2025-10-30 21:44:27 -04:00
d39c6cd29b
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> |
||
|---|---|---|
| .. | ||
| src | ||
| Makefile | ||