From: Petter Reinholdtsen <pere@hungry.com>
Date: Fri, 27 Jul 2012 09:12:18 +0000 (+0200)
Subject: Drop workaround for xrefstyle problems.
X-Git-Tag: edition-2015-10-10~2093
X-Git-Url: https://pere.pagekite.me/gitweb/text-free-culture-lessig.git/commitdiff_plain/2538262ea250f85a1587b94e15fcd181577a3fb1?ds=sidebyside

Drop workaround for xrefstyle problems.
---

diff --git a/Makefile b/Makefile
index 2597f5e..58bc5f2 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ DBLATEX = dblatex \
 
 DBTOEPUB = dbtoepub
 
-all: lint lint.nb epub pdf
+all: lint lint.nb html epub pdf
 
 freeculture.nb.po: freeculture.pot
 	po4a --no-translations --msgmerge-opt --no-location po4a.cfg
@@ -57,9 +57,9 @@ progress.png: stats.txt progress.gnuplot
 	gnuplot progress.gnuplot
 	rm stats.csv
 
-# Disabled --postvalid, as it fail to handle xref with xrefstyle.
+# Have to disable --postvalid, when using xref with xrefstyle.
 # See <URL: http://bugs.debian.org/682944 > for the bug report.
-XMLLINTOPTS = --nonet --noout  --xinclude # --postvalid 
+XMLLINTOPTS = --nonet --noout  --xinclude --postvalid 
 lint: freeculture.xml
 	xmllint $(XMLLINTOPTS) freeculture.xml