diff options
Diffstat (limited to 'tools/xml-to-html.sh')
| -rwxr-xr-x | tools/xml-to-html.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tools/xml-to-html.sh b/tools/xml-to-html.sh deleted file mode 100755 index c05d749..0000000 --- a/tools/xml-to-html.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -# Translates simplified documents from src/ - -BASEDIR=~/homepage -TOOLS="${BASEDIR}/tools" -SOURCES="${BASEDIR}/src" - -find "${SOURCES}" -name '*.xhtml' | - sed -e "sS^${SOURCES}SS" | - xargs -Ifile xsltproc -o "${BASEDIR}/file" \ - "${TOOLS}/xml-to-html.xsl" "${SOURCES}file" |