diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2020-06-21 17:23:00 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2020-06-21 17:23:00 +0200 |
| commit | 5b68ed3e51ab75a44f5bca0ac9637e78e7aae644 (patch) | |
| tree | 2e572b5ca949adbb25a110ed0e2206774fddab86 /Makefile | |
| parent | a60e08ba995dc580dc930dd38515c8f678ee7b72 (diff) | |
drop mkdocs build scripts: moved to separate git "features"
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 |