diff options
author | adisbladis <adisbladis@gmail.com> | 2021-03-31T18·49+0200 |
---|---|---|
committer | adisbladis <adisbladis@gmail.com> | 2021-03-31T21·51+0000 |
commit | 58cca2faaa01af057eafc53fbf3a81b61c88387b (patch) | |
tree | b79cc072c0fd41aea3ce2c8442c287542a5e2a0d /tvix/doc/.gitignore | |
parent | 5fa2d39dde33efdc893fff87c7ac9992eeeaf682 (diff) |
chore(tvix): Add doc build infrastructure r/2372
Change-Id: I2cf67df085d0c008b5ff5efff2235a670207024a Reviewed-on: https://cl.tvl.fyi/c/depot/+/2711 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: tazjin <mail@tazj.in>
Diffstat (limited to 'tvix/doc/.gitignore')
-rw-r--r-- | tvix/doc/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tvix/doc/.gitignore b/tvix/doc/.gitignore new file mode 100644 index 000000000000..77699ee8a3f7 --- /dev/null +++ b/tvix/doc/.gitignore @@ -0,0 +1,2 @@ +*.svg +*.html |