From 2538262ea250f85a1587b94e15fcd181577a3fb1 Mon Sep 17 00:00:00 2001
From: Petter Reinholdtsen <pere@hungry.com>
Date: Fri, 27 Jul 2012 11:12:18 +0200
Subject: [PATCH] Drop workaround for xrefstyle problems.

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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