diff options
author | Jonas Smedegaard <dr@jones.dk> | 2018-11-24 13:18:00 +0100 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2018-11-24 13:20:02 +0100 |
commit | 4c8596a1a2fda23f2e400e5caf241614741b004a (patch) | |
tree | a06aa998e9d0d7cc67bacdbab8f0198689359ef7 /Makefile | |
parent | e2ac1f9c5132d6616e103604c14466788fa49014 (diff) |
Use mkdocs.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..b883a3a --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ +# Depends: mkdocs + +all: docs + +docs: docs-prep + mkdocs build + +docs-prep: + mkdir -p docs + ln -sf ../README.md docs/index.md + ln -sf ../USE.md docs/use.md + ln -sf ../ADMIN.md docs/admin.md + +clean: + rm -rf site + rm -rf docs + +PHONY: all clean |