Bug#1012612: texinfo: Info documentation links to missing "pod2texi" manual

2023-01-09 Thread Tim Allen
On Mon, Jan 09, 2023 at 07:45:04AM +0100, Hilmar Preuße wrote: > I've uploaded texinfo 7.0.1-3 to Debian experimental. Could you install > it and check if it solves the issue? Thanks! I downloaded the texinfo and texinfo-lib packages from the experimental repository and installed them. The issue

Bug#1012612: texinfo: Info documentation links to missing "pod2texi" manual

2023-01-08 Thread Hilmar Preuße
Am 10.06.2022 um 11:29 teilte Timothy Allen mit: Dear Timothy, As I'm sure you know, when the "texinfo" package is installed, it creates `/usr/share/info/texinfo.info.gz`, and a metadata chunk from the preamble of that file is merged into `/usr/share/info/dir`. I've uploaded texinfo 7.0.1-3