A new configure option needs documenting in install.texi.

-- 
Joseph S. Myers
[email protected]

Reply via email to