This is missing documentation for the new configure option in 
install.texi.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to