diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 9eef38f..0000000 --- a/Makefile +++ /dev/null @@ -1,19 +0,0 @@ -# Depends: mkdocs linkchecker - -all: doc - -doc: docs - mkdocs build - linkchecker site/index.html - -docs: - 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 doc clean |