Manual page and library file

Preuße, Hilmar <[email protected]> Wed, 8 Jan 2025 23:51:07 +0100
Newsgroups gmane.comp.tex.texinfo.general
Message-ID <[email protected]>
Hello,

I have two small questions, I hope they can be answered easily.

1. In the DBTS we got a bug report telling that pod2texi.1 contains 
formatting errors [1]. The header of that file reads:

.\" Automatically generated by Pod::Man (Pod::Simple)
.\"
.\" Standard preamble:

As the file is (re)generated I refused to accept the patch.

By looking at a build log [2] however I noticed that the file is not 
(re)generated, instead there is a file called pod2texi.1 in your git 
source tree. Is the header statement still correct?

2. In Debian we installed the .la files into /usr/lib/texinfo/ until 
version 7.1.1 [3]. For the 7.2 packages [4] I skipped them: I could 
convert some files using texi2any, so no drawbacks visible until now.

Are these files really needed?

Please keep me in Cc, I'm not subscribed.

Many thanks,
   Hilmar

[1] https://bugs.debian.org/1092062
[2] 
https://buildd.debian.org/status/fetch.php?pkg=texinfo&arch=amd64&ver=7.2-1&stamp=1736298994&raw=0
[3] https://packages.debian.org/sid/amd64/texinfo-lib/filelist
[4] https://packages.debian.org/experimental/amd64/texinfo-lib/filelist
-- 
sigfault
OpenPGP_signature.asc (application/pgp-signature, 840 B)
-----BEGIN PGP SIGNATURE-----

wsF5BAABCAAjFiEEaXGmC/nkbIhxf16kxiZYRqvgLIsFAmd/AVsFAwAAAAAACgkQxiZYRqvgLIu8
URAAk50WApd53S64VtzBk0cD/pEC91jcoI92/6H8t9LVg9TopXfllVm0vR2dTLOl1yShMC4Cj6zt
NYyPkRZzLVMWo9BPcW6Br3ksrKnS4O8xwyJcTZuJia1ZqkWtu6h6qTbPXr5B0dHzc1SyjffFN2ev
gkvFLP/v0bZcV7YyTY3myfc4VhL4ZeN98lqrqTLfxp+wd753QFwKR7Ic61I4Wmj6oWxirCCyXZ/L
zIg1Om1HydwC0NK8bS8etd/Vqiiy4PiDpZMavvwRst70RcxfbrjCXRphGgJ/yavGabSdrZLXpF0Q
EJ+lt/QpEDmICUiu5bj86tp7QuIkt/+seiSAG4ehIMsB+p7UyxtDjzZsCqfXGPe8RbeVs2egHNYK
SuyTo7XqSD9XwWwEeuFsruAvEmVySLJuWpMOd90a5JI6Z/aQPJT6YHQxxWjJWiGKS7RbS60EUAaN
SZ8qotgZaYww/F6CRHw4C1A09ud2WOGgxtZna+UkdaKIvrXFlwnxKXY0pUBX0ljeZX+22MXDe77e
1+4b3Cladlb+nhpKbN50BtejKEy3Yd/fKgqwODuGs8pcfDE+WPdQj91dNC8S8b2XJiECRsTBHBQI
iUv8KgJIZQyB9E6WAnzjwI+QtzcNuDLPM02FUIrr6RBAQwSfJmH2zH69r/lM3K4mPhZ3VZR9pVvi
Zhg=
=Sg3T
-----END PGP SIGNATURE-----