diff options
Diffstat (limited to 'contrib/entResolver')
| -rw-r--r-- | contrib/entResolver | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/contrib/entResolver b/contrib/entResolver new file mode 100644 index 000000000..e04f439b3 --- /dev/null +++ b/contrib/entResolver @@ -0,0 +1,29 @@ +#!/bin/bash +############################################################################### +# # +# File: entResolver # +# # +# Description: Works around libxml2 bug 135713 by preprocessing entity # +# references before performing any stylesheet processing. # +# # +# Author: Manuel Canales Esparcia # +# # +############################################################################### + +NAME=`basename "$0"` +DESTDIR="$1" + +if [ -z "$1" ]; then + echo "USAGE: $NAME destdir" + exit +fi + +mkdir -p ../"$DESTDIR"/chapter0{1,2,3,4,5,6,7,8,9} +mkdir -p ../"$DESTDIR"/prologue +mkdir -p ../"$DESTDIR"/appendix{a,b} + +for i in `find . -name "*.xml"`; do + xmllint --nonet --noent "${i}" > ../"$DESTDIR"/"${i}"; +done + +cp -a stylesheets ../"$DESTDIR" |