commit | 7c1aa0090f673e29e0b54eae9975b2c1b72a49d2 | [log] [tgz] |
---|---|---|
author | Mike Frysinger <vapier@gentoo.org> | Wed Dec 01 23:43:29 2021 -0500 |
committer | Mike Frysinger <vapier@gentoo.org> | Fri Feb 11 04:20:49 2022 -0500 |
tree | 5069ed3e9ce28b2231c4f086e051565f7cb08782 | |
parent | a288518611dbda5cfae8894d532cf1040cb1b6c2 [diff] |
libctf: delete unused libctf_TEXINFOS It's not clear what this was meant for, but it's not used by anything, and the info pages still generate fine without it.