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-----