From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joseph_myers@mentor.com>
Received: from esa2.mentor.iphmx.com (esa2.mentor.iphmx.com [68.232.141.98])
 by sourceware.org (Postfix) with ESMTPS id 93D11394B038
 for <gcc-patches@gcc.gnu.org>; Mon,  9 May 2022 21:14:32 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 93D11394B038
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none)
 header.from=codesourcery.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com
X-IronPort-AV: E=Sophos;i="5.91,212,1647331200"; d="scan'208";a="75644598"
Received: from orw-gwy-01-in.mentorg.com ([192.94.38.165])
 by esa2.mentor.iphmx.com with ESMTP; 09 May 2022 13:14:31 -0800
IronPort-SDR: jz9xP14wXhY6UaEOLSqr8DncLWd5jID7ACpAXA5QSmHoFZiP7uW/BHnF/izhzW+mPRT4Ebb7zQ
 o4b4eJq7QQp9veWr5RgWvViH3fKUN7a2kBvSc9H2WFDtYiviu4HSiAnxmlIUHOgYzPZJzNnGQ/
 yMKd19gcIRJas6DIlitMs9XhPma3f/Nzuc9R5z0pPXnZSvNp+S62gUn7mygDL97ErouBJ/J7H3
 Ud9QfOoYyaXKlzZvWnAfBWiQhtoMau4BhJp0EUE+uIpfFIs440cOknAG6uW/t15f267vI2OFe5
 F7g=
Date: Mon, 9 May 2022 21:14:27 +0000
From: Joseph Myers <joseph@codesourcery.com>
X-X-Sender: jsm28@digraph.polyomino.org.uk
To: =?ISO-8859-15?Q?Martin_Li=A8ka?= <mliska@suse.cz>
CC: <gcc-patches@gcc.gnu.org>
Subject: Re: [PATCH] configure: add --disable-fix-includes
In-Reply-To: <d59fa9a4-262a-11c8-5290-4f6a138cdfee@suse.cz>
Message-ID: <alpine.DEB.2.22.394.2205092114140.1058846@digraph.polyomino.org.uk>
References: <d59fa9a4-262a-11c8-5290-4f6a138cdfee@suse.cz>
User-Agent: Alpine 2.22 (DEB 394 2020-01-19)
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
X-Originating-IP: [137.202.0.90]
X-ClientProxiedBy: svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) To
 svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10)
X-Spam-Status: No, score=-3113.4 required=5.0 tests=BAYES_00,
 HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, SPF_HELO_PASS, SPF_PASS,
 TXREP, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
 server2.sourceware.org
X-BeenThere: gcc-patches@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Mon, 09 May 2022 21:14:33 -0000

If you add a new configure option, it should be documented in 
install.texi.

-- 
Joseph S. Myers
joseph@codesourcery.com