Joseph Myers Fri, 05 Oct 2018 09:10:41 -0700
A new configure option needs documenting in install.texi.
-- Joseph S. Myers jos...@codesourcery.com