From 519d4864ea686cb7e985a891d3939d4e3eb2663b Mon Sep 17 00:00:00 2001
From: Philipp Wollermann <phil_wo@gmx.net>
Date: Tue, 26 Feb 2002 00:35:05 +0000
Subject: [PATCH] Added support for the Crux Linux distribution (with
 openjade).

---
 documentation/db2html-winehq | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/documentation/db2html-winehq b/documentation/db2html-winehq
index d810e6934ac..7261888faa0 100755
--- a/documentation/db2html-winehq
+++ b/documentation/db2html-winehq
@@ -12,16 +12,29 @@
 ## $LINUXDIST holds the name of the distribution
 ## $JADETAG adds "/#html" to the stylesheet-specification in the Jade
 ##          command line (see comments below), if necessary for that dist.
+
+LINUXDIST="Generic"
+JADEPROG="jade"
+JADETAG=
+
 if [ -f /etc/debian_version ]; then
   LINUXDIST="Debian"
+  JADEPROG="jade"
   JADETAG=\#html
 fi
 
 if [ -f /etc/redhat_release ]; then
   LINUXDIST="Redhat"
+  JADEPROG="jade"
   JADETAG=
 fi
 
+if [ -f /usr/bin/crux ]; then
+	LINUXDIST="Crux"
+	JADEPROG="openjade"
+	JADETAG=
+fi
+
 ## FIXME: Add more distributions here...
 
 if [ -n "$LINUXDIST" ]; then
@@ -81,7 +94,7 @@ else
   EXTRA_PATH=
 fi
 
-JADE_CMD="jade -t sgml -ihtml -d ${DB_STYLESHEET}${JADETAG} ${EXTRA_PATH}$1"
+JADE_CMD="$JADEPROG -t sgml -ihtml -d ${DB_STYLESHEET}${JADETAG} ${EXTRA_PATH}$1"
 echo "Invoking command '$JADE_CMD'"
 echo