diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..caaf4af --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,12 @@ +all: Tutorial.md + +.PHONY: all ttms + +ttms: + pack build setoid-doc.ipkg + +%.md: .PHONY + pack run katla markdown sources/$*.md ./build/ttc/$*.ttm > $*.md + +install-deps: + pack install-deps setoid-doc.ipkg |