#! /bin/sh
# hhedberg 20090124

cat > /tmp/dirty-gtk-doc-fix.source.tmp << END-OF-FILE
<?xml version="1.0"?>
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.3//EN"
               "http://www.oasis-open.org/docbook/xml/4.3/docbookx.dtd">
END-OF-FILE

for f in $@; do
	if ! grep -q DOCTYPE $f; then
		mv $f /tmp/dirty-gtk-doc-fix.target.tmp
		cat /tmp/dirty-gtk-doc-fix.source.tmp /tmp/dirty-gtk-doc-fix.target.tmp > $f
	fi	
done

rm /tmp/dirty-gtk-doc-fix.source.tmp
rm -f /tmp/dirty-gtk-doc-fix.target.tmp
