WARNING: `makeinfo' is missing on your system.  You should only need it if