Skip to content
Snippets Groups Projects
Commit 519d4864 authored by Philipp Wollermann's avatar Philipp Wollermann Committed by Alexandre Julliard
Browse files

Added support for the Crux Linux distribution (with openjade).

parent 9ce99320
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment