Should ‘./configure’ check for makeinfo?  ‘make’ will fail when makeinfo
isn’t installed.

Attachment: pgp6b8ytEaZGE.pgp
Description: PGP signature



Reply via email to