Add lint target

This commit is contained in:
Otto Winter 2019-07-03 17:38:04 +02:00
parent 330c4d2fc9
commit ec4ad7b143
No known key found for this signature in database
GPG Key ID: DB66C0BE6013F97E
1 changed files with 3 additions and 0 deletions

View File

@ -45,6 +45,9 @@ netlify: netlify-dependencies netlify-api html copy-svg2png
webserver: html
cd "_build/html" && python3 -m http.server
lint: html-strict
python3 travis.py
# Catch-all target: route all unknown targets to Sphinx using the new
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
%: Makefile