diff options
author | Jade Lovelace <lix@jade.fyi> | 2024-06-24 15:57:38 -0700 |
---|---|---|
committer | Jade Lovelace <lix@jade.fyi> | 2024-06-24 15:57:38 -0700 |
commit | 1245340e440c3b2c1f79269d02d5991dfb853122 (patch) | |
tree | 23dd71f9cb87501ec92dbf91453493457859a8f7 /misc/bash | |
parent | d5637ee790799ffa00bcaa3067bb6940b6cbad16 (diff) |
packaging: don't build internal api docs by default in dev shells
These are totally available and you can just turn them on, but they have
very bad dependency tracking and thus bloat incremental change times,
which is not really ok.
Change-Id: Iaa63ed18a789e74fcb757248cd24c3b194afcc80
Diffstat (limited to 'misc/bash')
0 files changed, 0 insertions, 0 deletions