Joseph Myers Mon, 14 May 2018 10:04:04 -0700
Any new configure options need to be documented in install.texi.
-- Joseph S. Myers jos...@codesourcery.com