diff options
| author | Florian Klink <flokli@flokli.de> | 2024-03-01T08·56+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-03-03T16·52+0000 |
| commit | 65a810fc0b12e754af47864ab3b9d4b5756cde15 (patch) | |
| tree | ec69ccf0de3dcd53dc47748f8f2a6a649a85ad48 /tvix/docs/Makefile | |
| parent | 6bdaebcb55eef5663f93dbbc8de6a48b459a10c0 (diff) | |
feat(tvix/docs): switch to mdbook r/7645
Some of the docs are still outdated (like architecture and drv path inconsistencies). Change-Id: I7a6afceb008ef4cd19a764dd6c637b39fa842a2e Reviewed-on: https://cl.tvl.fyi/c/depot/+/11072 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu>
Diffstat (limited to 'tvix/docs/Makefile')
| -rw-r--r-- | tvix/docs/Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tvix/docs/Makefile b/tvix/docs/Makefile deleted file mode 100644 index ba9e2bdef6d3..000000000000 --- a/tvix/docs/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -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 |