From 1ea73eea5ecc6a8ed901316049259aee737ee554 Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@debian.org>
Date: Fri, 7 Oct 2005 19:51:38 +0000
Subject: move manual to top-level directory, split out of debian-installer
 package

---
 scripts/historic/validate.sh | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 scripts/historic/validate.sh

(limited to 'scripts/historic/validate.sh')

diff --git a/scripts/historic/validate.sh b/scripts/historic/validate.sh
new file mode 100755
index 000000000..bdb09989a
--- /dev/null
+++ b/scripts/historic/validate.sh
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+catalog=/usr/share/sgml/docbook/dtd/xml/4.2/catalog
+xmldcl=/usr/share/sgml/declaration/xml.dcl
+err=`tempfile`
+
+if grep -q '^<!DOCTYPE' $1; then
+  nsgmls -s -c $catalog $xmldcl $1 2> $err
+else
+  temp=`tempfile`
+  topdir=`dirname $0`
+  root=`sed -e '0,/<[a-z]/!d' $1 | sed -e '$!d' | sed -e 's/<\([a-z][a-zA-Z0-9]*\).*/\1/'`
+  cat > $temp <<EOT
+<!DOCTYPE $root PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN" "docbookx.dtd"   
+[<!ENTITY % entities       SYSTEM "entities.ent"> %entities;]>
+EOT
+  cat $1 >> $temp
+  nsgmls -s -D$topdir -c $catalog $xmldcl $temp 2> $err
+  rm -f $temp
+fi
+
+less $err
\ No newline at end of file
-- 
cgit v1.2.3