From: Petter Reinholdtsen Date: Mon, 14 Sep 2020 12:01:44 +0000 (+0200) Subject: Correct lint target. X-Git-Tag: published-en-nb-2021-07-17~54 X-Git-Url: https://pere.pagekite.me/gitweb/text-mekanikerord.git/commitdiff_plain/8064029dac94be7bb071132d82de7e22af1da9e4?hp=8d0e3c1ef043254e30974f6d12e07089beff295c Correct lint target. --- diff --git a/Makefile b/Makefile index fa7a21c..52ded91 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,7 @@ distclean: clean $(RM) glossary.xml $(GENERATED) XMLLINTOPTS = --nonet --noout --xinclude --postvalid -lint: book.xml glossary.xml +lint: book.xml glossary-nb.xml xmllint $(XMLLINTOPTS) book.xml epubcheck: book.epub