Hi, I have a problem rebuilding cpp.info with an older makeinfo (from texinfo 3.12) because of "@option". Maybe the required makeinfo version should be increased, so that 'make (info|install)' doesn't fail? bye, Roman