diff options
author | Jonas Smedegaard <dr@jones.dk> | 2020-06-19 15:37:31 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2020-06-19 15:37:31 +0200 |
commit | ef054635fa74005a04e85eba4b7f478f64981d57 (patch) | |
tree | fc140f2b851d511deed2b5fcc2094056888948bb | |
parent | 39c076d3f9011307837d175d99ffccd960eccf63 (diff) |
add command: make check
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | SETUP.md | 12 |
2 files changed, 14 insertions, 0 deletions
@@ -20,6 +20,8 @@ all: doc doc: docs $(patsubst %,docs/%,$(subst -,/,$(notdir $(wildcard source/*)))) mkdocs build + +check: checklink site/index.html docs: @@ -22,6 +22,11 @@ you additionally need `MKDocs` and some helper tools: sudo apt install make w3c-linkchecker libtext-hogan-perl mkdocs +For checking quality of generated website, +you need an extra helper tool: + + sudo apt install w3c-linkchecker + ## Fetch features @@ -49,6 +54,13 @@ This command generates a website from the feature texts: make +## Check website + +This command checks generated website for flaws in links: + + make check + + ## Cleanup All fetched and generated files can be removed |