Peter TB Brett wrote: > PCB refuses to build documentation with makeinfo >= 4.10. This patch > corrects the problem, and tidies the configure check slightly. applied. Thanks -Dan