From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id iLzwOHh8wWOVEhYAWB0awg (envelope-from ) for ; Fri, 13 Jan 2023 10:44:56 -0500 Received: by simark.ca (Postfix, from userid 112) id E72321E128; Fri, 13 Jan 2023 10:44:56 -0500 (EST) Authentication-Results: simark.ca; dkim=pass (1024-bit key; secure) header.d=sourceware.org header.i=@sourceware.org header.a=rsa-sha256 header.s=default header.b=QlwDe8R2; dkim-atps=neutral X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-5.3 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED, URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from sourceware.org (server2.sourceware.org [8.43.85.97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by simark.ca (Postfix) with ESMTPS id 9DA1F1E110 for ; Fri, 13 Jan 2023 10:44:56 -0500 (EST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id F2073384A04C for ; Fri, 13 Jan 2023 15:44:55 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F2073384A04C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1673624696; bh=0MyQNmqxdqqDe6Tk+GqEBl+FSq95lkXQ/arcSQgqgAY=; h=Date:To:Cc:In-Reply-To:Subject:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=QlwDe8R2xGPGhJEiwL65orTX3A1/LBKn9/KZ2N1C+ndGKf2aWeIzNmMV6VOO+a8mz 4Jdl30pfcMk9Qk5S/+MuHECPyppBY3cQwDqNGJzWGXD1lfcEWuULm5U7RoB9tQp7v7 cq0fZH/LdxHbaMLsfW7NDg0zrhRcbBB/5vhY1kwE= Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id 4AD863858D37; Fri, 13 Jan 2023 15:44:37 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4AD863858D37 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pGMEN-0005JE-JO; Fri, 13 Jan 2023 10:44:35 -0500 Received: from [87.69.77.57] (helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pGMEM-0003jI-Fz; Fri, 13 Jan 2023 10:44:35 -0500 Date: Fri, 13 Jan 2023 17:44:33 +0200 Message-Id: <83358ea17i.fsf@gnu.org> To: Andreas Schwab Cc: gdb-patches@sourceware.org, enze.li@hotmail.com, binutils@sourceware.org, enze.li@gmx.com In-Reply-To: <87lem6tpjq.fsf@igel.home> (message from Andreas Schwab on Fri, 13 Jan 2023 16:36:09 +0100) Subject: Re: [PATCH] libctf: update regexp to allow makeinfo to build document References: <835ydaa304.fsf@gnu.org> <87lem6tpjq.fsf@igel.home> X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Eli Zaretskii via Gdb-patches Reply-To: Eli Zaretskii Errors-To: gdb-patches-bounces+public-inbox=simark.ca@sourceware.org Sender: "Gdb-patches" > From: Andreas Schwab > Cc: Enze Li , Eli Zaretskii , > binutils@sourceware.org, enze.li@gmx.com > Date: Fri, 13 Jan 2023 16:36:09 +0100 > > On Jan 13 2023, Eli Zaretskii via Gdb-patches wrote: > > > IMO, this solution has the same problem: it will stop working when > > Texinfo 10.1 will be released. I think the solution should be to use > > > > egrep 'texinfo[^0-9]*(6\.[3-9]|[7-9][0-9]?)' > > Since the match is not anchored, the trailing [0-9]? pattern is redundant. Right. But I now actually think we need something different, like egrep 'texinfo[^0-9]*(6\.[3-9]|[7-9]|[1-6][0-9])'