[patch] Patch for Makefile

Makefile.diff (text/plain), 349 bytes, created by Ulrich Müller on 2015-04-25 19:40:02 UTC

--- Makefile~	2011-11-29 22:01:39.000000000 +0100
+++ Makefile	2015-04-25 21:23:28.448493816 +0200
@@ -44,6 +44,10 @@
 .dtd.rnc:
 	trang -I dtd -O rnc $< $@
 
+metadata.rnc: metadata.dtd
+	trang -I dtd -O rnc -i no-generate-start $< $@
+	echo 'start = catmetadata | pkgmetadata' >> $@
+
 %.dtd:
 	wget -N --no-verbose http://www.gentoo.org/dtd/$@