It may not have been obvious there was a patch proposed for inclusion ... the patch <https://sourceware.org/ml/libc-alpha/2014-02/msg00831.html> to remove the INSTALL_INFO setting in manual/Makefile, so that the setting determined at configure time applies, is pending review. -- Joseph S. Myers joseph@codesourcery.com