move manual to top-level directory, split out of debian-installer package

1 files changed, 22 insertions, 0 deletions

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