Bug#1003075: gnutls28: HTML API reference documentation is not generated

2022-01-04 Thread Andreas Metzler
Control: tags -1 confirmed On 2022-01-03 Dennis Filder wrote: > Source: gnutls28 > Version: 3.7.2-4 > Tags: patch > Building the HTML api-reference docs seems to have been broken for > quite a while due to XML shenanigans. The first of the attached > patches makes it work again, but fixing make

Bug#1003075: gnutls28: HTML API reference documentation is not generated

2022-01-03 Thread Dennis Filder
Source: gnutls28 Version: 3.7.2-4 Tags: patch Building the HTML api-reference docs seems to have been broken for quite a while due to XML shenanigans. The first of the attached patches makes it work again, but fixing makeinfo to emit DocBook that is actually valid XML would be better. The second