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 /doc/doc.RPKI.CA.UI.GUI | |
| 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 'doc/doc.RPKI.CA.UI.GUI')
0 files changed, 0 insertions, 0 deletions