diff options
| author | Arthur de Jong <arthur@arthurdejong.org> | 2013-09-01 23:19:00 +0200 |
|---|---|---|
| committer | Arthur de Jong <arthur@arthurdejong.org> | 2013-09-01 23:59:43 +0200 |
| commit | c8800eb3926106da797bd89f9507eb7765ee77fe (patch) | |
| tree | 0283ab4bb54cb6e295ca2cbeedba0d1c6ddf5fc8 /tests | |
| parent | 644df526c13a45b5d5d985ecf3c9fbfd6e6f6d5d (diff) | |
Improve robustness of test_manpages
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/test_manpages.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/test_manpages.sh b/tests/test_manpages.sh index d302070..ee32917 100755 --- a/tests/test_manpages.sh +++ b/tests/test_manpages.sh @@ -26,14 +26,17 @@ srcdir="${srcdir-`dirname "$0"`}" top_srcdir="${top_srcdir-${srcdir}/..}" # if xmlto is missing, ignore -if ! xmlto --version > /dev/null 2> /dev/null +if xmlto --version > /dev/null 2> /dev/null then + : +else echo "xmlto not found" exit 77 fi # set up a temporary directory tmpdir="test_manpages.tmp" +rm -rf "$tmpdir" mkdir "$tmpdir" # generate HTML for all manual pages |