A new configure option needs documenting in install.texi.

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

Reply via email to