diff options
| author | Rob Austein <sra@hactrn.net> | 2012-11-12 17:47:26 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2012-11-12 17:47:26 +0000 |
| commit | 5bb6712c096eb99d8d6a220fab3546cb96d06edf (patch) | |
| tree | 2206c9a160a9b68453a401db8f533b6ab8648d5e /buildtools/trang-not-found | |
| parent | c27571f78e6f4515d0eb33fada0c40d394193b6d (diff) | |
Use real trang when available, otherwise run script which warns about
out-of-date .rng files then touches them and moves on. Developers
need to have trang installed, normal users don't and requiring trang
just annoys them. Closes #304.
svn path=/trunk/; revision=4852
Diffstat (limited to 'buildtools/trang-not-found')
| -rwxr-xr-x | buildtools/trang-not-found | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/buildtools/trang-not-found b/buildtools/trang-not-found new file mode 100755 index 00000000..acbccf5b --- /dev/null +++ b/buildtools/trang-not-found @@ -0,0 +1,20 @@ +#!/bin/sh - +# $Id$ + +/bin/cat <<EOF + +WARNING: + +trang XML schema converter not found on your system. If you haven't +modified any of the RelaxNG source files, you can ignore this, as it's +probably a spurious warning caused by something stomping file +modification times in the source repository or your local build tree. + +If you have modified the RelaxNG sources, you need to install trang +(see installation manual). + +Suppressing this warning for file: $2 + +EOF + +/usr/bin/touch "$2" |