From 8064029dac94be7bb071132d82de7e22af1da9e4 Mon Sep 17 00:00:00 2001 From: Petter Reinholdtsen Date: Mon, 14 Sep 2020 14:01:44 +0200 Subject: [PATCH] Correct lint target. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.47.2