]> pere.pagekite.me Git - text-mekanikerord.git/commitdiff
Correct lint target.
authorPetter Reinholdtsen <pere@hungry.com>
Mon, 14 Sep 2020 12:01:44 +0000 (14:01 +0200)
committerPetter Reinholdtsen <pere@hungry.com>
Mon, 14 Sep 2020 12:01:44 +0000 (14:01 +0200)
Makefile

index fa7a21cfd6c1d1f3011bf14b621d2d7d31b3b052..52ded91662392ba3b7be9a0b3859f7614244f44e 100644 (file)
--- 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