> On 24 Jun 2025, at 09:44, Michael Paquier <mich...@paquier.xyz> wrote: > > On Tue, Jun 24, 2025 at 09:36:20AM +0200, Magnus Hagander wrote: >> On Tue, Jun 24, 2025 at 9:20 AM Daniel Gustafsson <dan...@yesql.se> wrote: >>> Downloading what newbiedoc still ships shows no trace of docbook >>> introdoctions, >>> so whatever we decided valuable back in the 8.1 days when this was added >>> seems >>> gone now. I propose to apply the below and simply remove it. >> >> +1. > > +1.
Done, backpatched down to 13. -- Daniel Gustafsson
