From 46b7eac1c5a54b23d50c94ac5094618bf0ad6ecc Mon Sep 17 00:00:00 2001
From: Tommy Reynolds <Tommy.Reynolds@MegaCoder.com>
Date: Thu, 19 Jan 2006 17:30:06 +0000
Subject: Moved from "packaging/" to "bin/" directory.

---
 bin/doctype | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 bin/doctype

(limited to 'bin')

diff --git a/bin/doctype b/bin/doctype
new file mode 100755
index 0000000..a10441f
--- /dev/null
+++ b/bin/doctype
@@ -0,0 +1,14 @@
+#!/bin/sh
+########################################################################
+# Script to print the document type, without needing the XML document
+# to validate.  Get the document type from the first argument to the
+# <!DOCTYPE> element, which should be either "book" or "article".
+#
+# Use it like this:
+# doctype file.xml
+#
+# If you know the XML file WILL VALIDATE, you may use the "doctype.xsl"
+# script instead.  If not, use this one
+########################################################################
+egrep '^[[:space:]]*<!DOCTYPE' $*					|
+awk '{print $2 "info"}'
-- 
cgit