diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2015-12-07 22:14:17 +0100 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2015-12-07 22:14:17 +0100 |
| commit | 89f8746c079e471a07691ca3c18e49fcfbb8c32f (patch) | |
| tree | db9675b1c1d4b5df01926877de8bbca03a17fbf5 /tools/update_man_pages.sh | |
| parent | b5b6583a0b0f273ee3bea04b1ed0b8fccf7f0429 (diff) | |
| download | sbotools2-89f8746c079e471a07691ca3c18e49fcfbb8c32f.tar.xz | |
Bail out gracefully if a dependency can't be found
This fixes #16
Diffstat (limited to 'tools/update_man_pages.sh')
0 files changed, 0 insertions, 0 deletions