diff options
| author | Keith Bostic <keith.bostic@wiredtiger.com> | 2011-05-31 09:37:01 -0400 |
|---|---|---|
| committer | Keith Bostic <keith.bostic@wiredtiger.com> | 2011-05-31 09:37:01 -0400 |
| commit | ca7476aa3be2318b0d16d6c41208ef18f1ff664b (patch) | |
| tree | 7c36d7ad8eb003c92502997ed074610af194f303 /dist/s_docs | |
| parent | 30e40829f9e03143f7209208d96f0d9af3c282b4 (diff) | |
| download | mongo-ca7476aa3be2318b0d16d6c41208ef18f1ff664b.tar.gz | |
Be quiet if we don't find doxygen.
Diffstat (limited to 'dist/s_docs')
| -rwxr-xr-x | dist/s_docs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dist/s_docs b/dist/s_docs index 2114e8d0b21..3a56b01f2a7 100755 --- a/dist/s_docs +++ b/dist/s_docs @@ -5,8 +5,8 @@ trap 'rm -f $t; exit 0' 0 1 2 3 13 15 # We require doxygen which may not be installed. type doxygen > /dev/null 2>&1 || { - echo 'doxygen not found, skipping document creation' - exit 1 + echo 'skipped: doxygen not found' + exit 0 } spellchk() |