Commit 6ea8816e authored by POTTIER Francois's avatar POTTIER Francois

New entry in GNUmakefile, [make mdl].

parent 8e30b0f9
......@@ -6,7 +6,7 @@
SHELL := bash
.PHONY: all test clean headache package check api export tag opam local unlocal pin unpin
.PHONY: all test clean headache package check api export tag opam local unlocal pin unpin mdl
# -------------------------------------------------------------------------
......@@ -290,3 +290,13 @@ pin:
unpin:
opam pin remove menhir
# -------------------------------------------------------------------------
# Running the Markdown linter on our Markdown files.
# For an explanation of mdl's error messages, see:
# https://github.com/mivok/markdownlint/blob/master/docs/RULES.md
mdl:
@ mdl *.md
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment