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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | tvix/doc/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tvix/doc/Makefile b/tvix/doc/Makefile new file mode 100644 index 0000000000..ba9e2bdef6 --- /dev/null +++ b/tvix/doc/Makefile @@ -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 |