diff options
| author | marino <marino@pkgsrc.org> | 2016-12-05 19:54:15 +0000 |
|---|---|---|
| committer | marino <marino@pkgsrc.org> | 2016-12-05 19:54:15 +0000 |
| commit | 63b5ab35330c15130c536eae210f3cfcfaa25d65 (patch) | |
| tree | 8f45e66ff934e4ba25c0c98384c855d1bfe173d9 /fonts/tex-punk | |
| parent | 6e72263d4366eb71ed030c34f2ddac46fb735e4d (diff) | |
| download | pkgsrc-63b5ab35330c15130c536eae210f3cfcfaa25d65.tar.gz | |
Add new package print/indexinfo
This is a small utility designed to regenerate the GNU info page indexes.
It's used by pkg(8) to generate GNU info pages. Import suggested by wiz.
Diffstat (limited to 'fonts/tex-punk')
0 files changed, 0 insertions, 0 deletions