diff options
| author | Ben Sima <ben@bsima.me> | 2024-12-21 11:06:19 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-12-21 10:06:19 -0500 |
| commit | 7f0fd2bb6de504541f9c9fa8eaf5126087ae81a3 (patch) | |
| tree | 759f07f538353304aed1961916466e8b47c787a5 /Biz/Dragons/env.sh | |
| parent | 2f6cd392ad63d5f2d21a2a5b45038dc127a2c3a9 (diff) | |
Rewrite mktags.sh to MakeTags.py
This makes tags for all third-party dependencies, and uses universal-ctags
instead of fast-tags. It's so nice having tags for /everything/. It's also
pretty fast, and caches the result for third-party deps anyway.
Oh yeah this also added an explicit list of third-party Python packages. I need
to filter the entire pkgset down to just the ones I'm using in order to make
tags for them.
Diffstat (limited to 'Biz/Dragons/env.sh')
0 files changed, 0 insertions, 0 deletions