public inbox for gdb-patches@sourceware.org
 help / color / mirror / Atom feed
From: Andreas Schwab <schwab@linux-m68k.org>
To: Eli Zaretskii via Gdb-patches <gdb-patches@sourceware.org>
Cc: Enze Li <enze.li@hotmail.com>,  Eli Zaretskii <eliz@gnu.org>,
	binutils@sourceware.org,  enze.li@gmx.com
Subject: Re: [PATCH] libctf: update regexp to allow makeinfo to build document
Date: Fri, 13 Jan 2023 16:36:09 +0100	[thread overview]
Message-ID: <87lem6tpjq.fsf@igel.home> (raw)
In-Reply-To: <835ydaa304.fsf@gnu.org> (Eli Zaretskii via Gdb-patches's message of "Fri, 13 Jan 2023 17:05:47 +0200")

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.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

  reply	other threads:[~2023-01-13 15:36 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-01-13 14:42 Enze Li
2023-01-13 15:05 ` Eli Zaretskii
2023-01-13 15:36   ` Andreas Schwab [this message]
2023-01-13 15:44     ` Eli Zaretskii
2023-01-14  4:36       ` Enze Li
2023-01-14  7:36         ` Eli Zaretskii
2023-01-14  4:23 ` [PATCH v2] " Enze Li
2023-01-16 13:51   ` Nick Alcock
2023-01-16 15:19     ` Enze Li

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87lem6tpjq.fsf@igel.home \
    --to=schwab@linux-m68k.org \
    --cc=binutils@sourceware.org \
    --cc=eliz@gnu.org \
    --cc=enze.li@gmx.com \
    --cc=enze.li@hotmail.com \
    --cc=gdb-patches@sourceware.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).