Check for a working makeinfo (3.11 or better).
authordrepper <drepper>
Mon, 1 Dec 1997 16:30:22 +0000 (16:30 +0000)
committerdrepper <drepper>
Mon, 1 Dec 1997 16:30:22 +0000 (16:30 +0000)
commit117c2e800c1f34a64b52083b1bfb3bd30096ebe5
tree02328abd14a7b40d1636453947c6e7d0621c1e68
parent85c0d0d9b1e8b2057844a9a4f08092f44bbdab0d
Check for a working makeinfo (3.11 or better).
configure.in