9fans / plan9port

Plan 9 from User Space
https://9fans.github.io/plan9port/
Other
1.61k stars 319 forks source link

Regenerate lookman index on install #571

Open mmnmnnmnmm opened 2 years ago

mmnmnnmnmm commented 2 years ago

The indices in the repo have not been updated in 17 years.

I decided against pushing the updated indices themselves as the changeset is quite large. Maybe they should just be removed and only generated on install?

   man/lookman.index | 10087 +++++++++++++++++++++++++++++++++++++++++++++++++++--
   man/man1/INDEX    |    11 +-
   man/man3/INDEX    |     2 +-
   3 files changed, 9804 insertions(+), 296 deletions(-)

This may not be the best way to do it, but it works fine for packaging in a distro.