diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-11-13 06:24:07 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-11-13 06:24:07 +0100 |
| commit | c6bbdd8aa697b2d42be1ac0839189da32d437a8f (patch) | |
| tree | cd1b8d19d99557fbebe33344d0d23f6ac826da57 /Makefile | |
| parent | 87d947df1b837514a0f1efa3bc36b58088bd2564 (diff) | |
| parent | dac4ab1c9306bf2035bc1547d2ed27ab09850120 (diff) | |
Merge branch 'master' into debian
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -33,7 +33,7 @@ $(MANUALS): %: %.md pandoc -s -f json -t man+smart -o "$@" test: - @for t in tests/*; do if [ -f "$$t/run" ]; then ./tests/run "$$t" || exit 1; fi; done + @./tests/run-all HTML_ROOTDIR ?= ./doc CSS ?= /usr/share/javascript/bootstrap/css/bootstrap.min.css |