about summary refs log tree commit diff
path: root/tvix/doc/.gitignore
AgeCommit message (Collapse)AuthorFilesLines
2021-03-31 r/2378 chore(tvix/docs): move from docFlorian Klink1-2/+0
Most other docs folders in the repo are called `doc` too, let's make this consistent. Change-Id: Icd712429b51763076548c977321e370f2a77877e Reviewed-on: https://cl.tvl.fyi/c/depot/+/2741 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-31 r/2372 chore(tvix): Add doc build infrastructureadisbladis1-0/+2
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>