diff options
| -rwxr-xr-x | tools/credits.pl | 5 |
1 files changed, 4 insertions, 1 deletions
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"; |