A new configure option should be documented in install.texi.

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

Reply via email to