]> pere.pagekite.me Git - text-madewithcc.git/commitdiff
Merge branch 'linters' into 'master'
authorPetter Reinholdtsen <pere-gitlab@hungry.com>
Wed, 31 Jan 2018 19:36:51 +0000 (19:36 +0000)
committerPetter Reinholdtsen <pere-gitlab@hungry.com>
Wed, 31 Jan 2018 19:36:51 +0000 (19:36 +0000)
Add more linting rules for es and nb editions.

See merge request gunnarwolf/madewithcc-es!3

Makefile

index f90b740a7c94a8d66fd5fae6ba2feba9f85a1a10..790d171cd0d25ef34d714f051d2c71003c69ae30 100644 (file)
--- 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