diff options
author | Florian Klink <flokli@flokli.de> | 2024-03-22T15·42+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-03-23T14·37+0000 |
commit | 72db9eb21038b677014d3017094cfdd095f5c85c (patch) | |
tree | 2685038cb3f3d4f3a2eb244ccba5a4f0225b2e39 /.rgignore | |
parent | 837fd8f3e8a3726ed6e48e5d79b35bfdfe777484 (diff) |
feat(tvix): add mdbook to shell r/7764
With this, you can `mdbook build` inside the docs/ directory. Change-Id: I97df12ed839e3c7a8065563c039436e1a830281e Reviewed-on: https://cl.tvl.fyi/c/depot/+/11243 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: raitobezarius <tvl@lahfa.xyz> Tested-by: BuildkiteCI
Diffstat (limited to '.rgignore')
0 files changed, 0 insertions, 0 deletions