Processed: Re: Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character

To: Hilmar Preuße <hille42@web.de>
Cc: debian-tex-maint@lists.debian.org
Subject: Processed: Re: Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 15 Oct 2022 16:27:09 +0000
Message-id: <[🔎] handler.s.B1021629.1665850937952427.transcript@bugs.debian.org>
References: <[🔎] 431ddf0a-6168-e96e-8cb4-b04264b4983d@web.de> <[🔎] 20221011231719.GA123196@zira.vinc17.org>

Processing control commands:

> tags -1 + fixed-upstream
Bug #1021629 [texinfo] texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character
Added tag(s) fixed-upstream.

-- 
1021629: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021629
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character
  - From: Hilmar Preuße <hille42@web.de>
- Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character
  - From: Vincent Lefevre <vincent@vinc17.net>

Prev by Date: Bug#1021827: info -o: exit status 0 on error
Next by Date: Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character
Previous by thread: Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character
Next by thread: Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character
Index(es):
- Date
- Thread