[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Release branch added to git
From: |
Patrice Dumas |
Subject: |
Re: Release branch added to git |
Date: |
Sun, 13 Nov 2022 00:15:19 +0100 |
On Sat, Nov 12, 2022 at 10:26:54PM +0000, Gavin Smith wrote:
> While other changes since the last release may be valuable, I don't see
> that they are urgent. Please discuss it if there's anything vital that
> people think that should be included.
>
I think that the following change should be included:
diff --git a/tp/Texinfo/Common.pm b/tp/Texinfo/Common.pm
index 8dee8df..5db18e7 100644
--- a/tp/Texinfo/Common.pm
+++ b/tp/Texinfo/Common.pm
@@ -767,7 +767,7 @@ foreach my $command (
our %preamble_commands;
-foreach my $preamble_command ('direnty', 'hyphenation', 'errormsg',
+foreach my $preamble_command ('direntry', 'hyphenation', 'errormsg',
'inlineraw', '*', keys(%document_settable_at_commands),
(grep {$Texinfo::Commands::block_commands{$_} eq 'format_raw'
or $Texinfo::Commands::block_commands{$_} eq 'region'}
It is part of
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=b238da561dad6ab693eb372f29b999f4d93f67d1
but the remaining of the commit is not important.
The tests need to be regenerate afterwards.
I can do that change/commit on the 7.0 branch.
--
Pat
- Re: git structure and release policy, (continued)
- Re: git structure and release policy, Gavin Smith, 2022/11/08
- Re: git structure and release policy, Eli Zaretskii, 2022/11/08
- Re: git structure and release policy, Gavin Smith, 2022/11/08
- Release branch added to git, Gavin Smith, 2022/11/12
- Re: Release branch added to git, Raymond Toy, 2022/11/12
- Re: Release branch added to git, Gavin Smith, 2022/11/12
- Re: Release branch added to git, Raymond Toy, 2022/11/12
- Re: Release branch added to git, Patrice Dumas, 2022/11/12
- Re: Release branch added to git, Gavin Smith, 2022/11/12
- Re: Release branch added to git, Patrice Dumas, 2022/11/12
- Re: Release branch added to git,
Patrice Dumas <=
- Re: Release branch added to git, Gavin Smith, 2022/11/12
- Re: Release branch added to git, Patrice Dumas, 2022/11/12
- Re: Release branch added to git, Robert Pluim, 2022/11/23
- Re: Release branch added to git, Gavin Smith, 2022/11/23
Re: git structure and release policy, Sam James, 2022/11/08