Make xmllint less strict to allow xrefs to work.

diff --git a/Makefile b/Makefile
index 345b194d1495e10b45f141ea899a41c64a37d4fa..2597f5e99bc0b862e4e2d9321b52720ce43b84c1 100644 (file)
--- 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