If you add a new configure option, it should be documented in 
install.texi.

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

Reply via email to