From bccf93108c67cff951aac689f8df24a08c93ad05 Mon Sep 17 00:00:00 2001
From: Max Horn
Date: Mon, 5 Mar 2007 16:42:58 +0000
Subject: Updated credits.pl to add a XML header/DTD to credits.xml

svn-id: r25994
---
 tools/credits.pl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/credits.pl b/tools/credits.pl
index db6268fece..af3d13865b 100755
--- a/tools/credits.pl
+++ b/tools/credits.pl
@@ -179,8 +179,11 @@ sub begin_credits {
 		print "// This file was generated by credits.pl. Do not edit by hand!\n";
 		print "static const char *credits[] = {\n";
 	} elsif ($mode eq "XML") {
+		print "<?xml version='1.0'?>\n";
 		print "<!-- This file was generated by credits.pl. Do not edit by hand! -->\n";
-		print "<appendix>\n";
+		print "<!DOCTYPE appendix PUBLIC '-//OASIS//DTD DocBook XML V4.2//EN'\n";
+		print "       'http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd'>\n";
+		print "<appendix id='credits'>\n";
 		print "  <title>" . $title . "</title>\n";
 		print "  <informaltable frame='none'>\n";
 		print "  <tgroup cols='3' align='left' colsep='0' rowsep='0'>\n";
-- 
cgit v1.2.3