diff options
author | Patrick Ohly <patrick.ohly@intel.com> | 2012-07-03 11:31:45 +0200 |
---|---|---|
committer | Patrick Ohly <patrick.ohly@intel.com> | 2012-07-04 17:02:03 +0200 |
commit | 99e27d46611d5e1afd33559ed86c5a2174a17645 (patch) | |
tree | 6fd781fe390e48f2d70ae8ea85716d52ff33d443 | |
parent | 3ac2b73ffb3ead90279cce9a6b588dd161915a99 (diff) |
D-Bus API: added update script for docbook XSL
Script which might come handy for updating our copy of the docbook
XSL files.
-rwxr-xr-x | build/xsl-update.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/build/xsl-update.sh b/build/xsl-update.sh new file mode 100755 index 00000000..eae704c1 --- /dev/null +++ b/build/xsl-update.sh @@ -0,0 +1,15 @@ +#! /bin/sh +# +# Download current version of all our docbook XSL files. +# Handles download errors by retrying. Does not handle +# new or removed files, that needs to be done manually. + +set -x +cd `dirname $0`/xsl +for i in `find * -type f`; do + for attempt in `seq 0 10`; do + if wget -O $i.tmp http://docbook.sourceforge.net/release/xsl/current/$i && mv $i.tmp $i; then + break + fi + done +done |