aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2018-11-24 19:32:24 +0100
committerJonas Smedegaard <dr@jones.dk>2018-11-24 19:32:24 +0100
commit4770bb3b198b15ea146fe2b306c034e88f3f9cb5 (patch)
tree2824ca7ff74c5dc50f0d19f6545d9015a21120b7
parentaa50ba75ec6e89d053b8319a88ab32919ae8ad75 (diff)
Use linkchecker. Fix phony targets.
-rw-r--r--Makefile11
1 files changed, 6 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index b883a3a..9eef38f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,12 @@
-# Depends: mkdocs
+# Depends: mkdocs linkchecker
-all: docs
+all: doc
-docs: docs-prep
+doc: docs
mkdocs build
+ linkchecker site/index.html
-docs-prep:
+docs:
mkdir -p docs
ln -sf ../README.md docs/index.md
ln -sf ../USE.md docs/use.md
@@ -15,4 +16,4 @@ clean:
rm -rf site
rm -rf docs
-PHONY: all clean
+.PHONY: all doc clean