Configure options need to be documented in install.texi.

-- 
Joseph S. Myers
[email protected]

Reply via email to