branch master updated: * tp/init/html32.pm: formatting of @enddots may now use the default.

[Patrice Dumas]

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 744b717a01 * tp/init/html32.pm: formatting of @enddots may now use the 
default.
744b717a01 is described below

commit 744b717a01a8a54b02f529080ea9b3a905670bbc
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Fri Jan 7 21:02:28 2022 +0100

    * tp/init/html32.pm: formatting of @enddots may now use the default.
---
 tp/init/html32.pm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tp/init/html32.pm b/tp/init/html32.pm
index efb44b9d9d..af68342a62 100644
--- a/tp/init/html32.pm
+++ b/tp/init/html32.pm
@@ -83,7 +83,7 @@ foreach my $command ('euro', 'geq', 'leq',
 texinfo_register_no_arg_command_formatting('oe', '&#156;');
 texinfo_register_no_arg_command_formatting('OE', '&#140;');
 
-foreach my $dots ('dots', 'enddots') {
+foreach my $dots ('dots') {
   texinfo_register_no_arg_command_formatting($dots, '...', 'small');
   texinfo_register_no_arg_command_formatting($dots, '...', undef, 
'preformatted');
 }