From: Petter Reinholdtsen <pere@hungry.com>
Date: Fri, 27 Jul 2012 08:26:14 +0000 (+0200)
Subject: Make xmllint less strict to allow xrefs to work.
X-Git-Tag: edition-2015-10-10~2097
X-Git-Url: https://pere.pagekite.me/gitweb/text-free-culture-lessig.git/commitdiff_plain/0c92ea28944029f042ca7a1a549da4d94a235029

Make xmllint less strict to allow xrefs to work.
---

diff --git a/Makefile b/Makefile
index 345b194..2597f5e 100644
--- a/Makefile
+++ b/Makefile
@@ -57,8 +57,11 @@ progress.png: stats.txt progress.gnuplot
 	gnuplot progress.gnuplot
 	rm stats.csv
 
+# Disabled --postvalid, as it fail to handle xref with xrefstyle.
+# See <URL: http://bugs.debian.org/682944 > for the bug report.
+XMLLINTOPTS = --nonet --noout  --xinclude # --postvalid 
 lint: freeculture.xml
-	xmllint --nonet --noout --postvalid --xinclude freeculture.xml
+	xmllint $(XMLLINTOPTS) freeculture.xml
 
 lint.nb: freeculture.nb.xml
-	xmllint --nonet --noout --postvalid --xinclude freeculture.nb.xml
+	xmllint  $(XMLLINTOPTS) freeculture.nb.xml