From: Petter Reinholdtsen <pere-gitlab@hungry.com>
Date: Wed, 31 Jan 2018 19:36:51 +0000 (+0000)
Subject: Merge branch 'linters' into 'master'
X-Git-Tag: es-printed~600^2~1
X-Git-Url: https://pere.pagekite.me/gitweb/text-madewithcc.git/commitdiff_plain/f33f5840a95ef3f4291df2c86b5f408605f240ba?hp=312c94ab13493ab5233c65d22c1e6882070216fd

Merge branch 'linters' into 'master'

Add more linting rules for es and nb editions.

See merge request gunnarwolf/madewithcc-es!3
---

diff --git a/Makefile b/Makefile
index f90b740..790d171 100644
--- a/Makefile
+++ b/Makefile
@@ -100,5 +100,9 @@ pdf: $(SOURCE).pdf
 XMLLINTOPTS = --nonet --noout  --xinclude --postvalid
 lint: $(SOURCE).xml
 	xmllint $(XMLLINTOPTS) $^
+lint-es: $(SOURCE).nb.xml
+	xmllint $(XMLLINTOPTS) $^
+lint-nb: $(SOURCE).nb.xml
+	xmllint $(XMLLINTOPTS) $^
 
 .SUFFIXES: .xml .md