From 5b68ed3e51ab75a44f5bca0ac9637e78e7aae644 Mon Sep 17 00:00:00 2001 From: Jonas Smedegaard Date: Sun, 21 Jun 2020 17:23:00 +0200 Subject: drop mkdocs build scripts: moved to separate git "features" --- Makefile | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 Makefile (limited to 'Makefile') 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 -- cgit v1.2.3