From 0c92ea28944029f042ca7a1a549da4d94a235029 Mon Sep 17 00:00:00 2001
From: Petter Reinholdtsen <pere@hungry.com>
Date: Fri, 27 Jul 2012 10:26:14 +0200
Subject: [PATCH] Make xmllint less strict to allow xrefs to work.

---
 Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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
-- 
2.47.2