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 /Makefile | |
| parent | 39c076d3f9011307837d175d99ffccd960eccf63 (diff) | |
add command: make check
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 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: |