diff GNUmakefile @ 75:2bf4cd2787c5

Added DTDs to make xmllint happy. Note that these DTDs don't try to be actually correct: possible element contents require cleanup. This is enough to pass all documents through xmllint though.
author Maxim Dounin <mdounin@mdounin.ru>
date Mon, 10 Oct 2011 14:47:09 +0000
parents 092d8068f845
children 3179774f938e
line wrap: on
line diff
--- a/GNUmakefile	Mon Oct 10 09:39:11 2011 +0000
+++ b/GNUmakefile	Mon Oct 10 14:47:09 2011 +0000
@@ -146,15 +146,11 @@
 
 .SECONDARY:
 
-$(OUT)/%_module.html:	xml/%_module.xml				\
+$(OUT)/%.html:	xml/%.xml						\
 		$(ARTICLE_DEPS)
 	$(call XMLLINT, $<)
 	$(call XSLT, xslt/article.xslt, $<, $@)
 
-$(OUT)/%.html:	xml/%.xml						\
-		$(ARTICLE_DEPS)
-	$(call XSLT, xslt/article.xslt, $<, $@)
-
 
 xslt/%.xslt:	xsls/%.xsls						\
 		xsls/dump.xsls