Joseph Myers Mon, 09 May 2022 14:14:42 -0700
If you add a new configure option, it should be documented in install.texi.
-- Joseph S. Myers jos...@codesourcery.com