Don't update info if makeinfo is too old.
authordrepper <drepper>
Mon, 1 Dec 1997 17:07:08 +0000 (17:07 +0000)
committerdrepper <drepper>
Mon, 1 Dec 1997 17:07:08 +0000 (17:07 +0000)
commit911fa2612429061dda1b9f121322e0c1608abf19
tree74833d8bc8e30d30f8c4dc85c2feab2e5ff88ebd
parent8f0e621066436461294792698623c5e8d68d3f69
Don't update info if makeinfo is too old.
manual/Makefile