diff options
| author | Keith Bostic <keith.bostic@wiredtiger.com> | 2011-02-01 10:52:08 -0500 |
|---|---|---|
| committer | Keith Bostic <keith.bostic@wiredtiger.com> | 2011-02-01 10:52:08 -0500 |
| commit | 7bef5b4ef795fbe1d85be0510b63fba825a7cd83 (patch) | |
| tree | 0b483c30bddb4f86e49ba3a4ac599eb751b2072b /dist/s_docs | |
| parent | 4086384cea8e1427c6caa40a5e9309976620ed63 (diff) | |
| download | mongo-7bef5b4ef795fbe1d85be0510b63fba825a7cd83.tar.gz | |
Test for doxygen/ctags before running s_docs/s_tags scripts.
Diffstat (limited to 'dist/s_docs')
| -rwxr-xr-x | dist/s_docs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dist/s_docs b/dist/s_docs index 7b787f61aa0..73e50e8d579 100755 --- a/dist/s_docs +++ b/dist/s_docs @@ -1,4 +1,10 @@ #! /bin/sh +# We require doxygen which may not be installed. +type doxygen > /dev/null 2>&1 || { + echo 'doxygen not found, skipping document creation' + return 1 +} + # Run doxygen to generate HTML documentation. cd ../docs && (cat Doxyfile ; echo "QUIET=YES") | doxygen - |