chore(tvix/docs): move from doc
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>
This commit is contained in:
parent
1fccc23f3c
commit
3c4e401c9e
5 changed files with 0 additions and 0 deletions
12
tvix/docs/Makefile
Normal file
12
tvix/docs/Makefile
Normal file
|
|
@ -0,0 +1,12 @@
|
|||
all: build
|
||||
|
||||
puml:
|
||||
plantuml *.puml -tsvg
|
||||
|
||||
html:
|
||||
pandoc *.md -f markdown --self-contained -t html -s -o tvix.html --csl=${CSL}
|
||||
|
||||
build: puml html
|
||||
|
||||
clean:
|
||||
rm -f *.tex *.pdf *.png *.svg
|
||||
Loading…
Add table
Add a link
Reference in a new issue