diff options
Diffstat (limited to 'dist/s_docs')
| -rwxr-xr-x | dist/s_docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/s_docs b/dist/s_docs index 08602989fe8..e2b1d2aed11 100755 --- a/dist/s_docs +++ b/dist/s_docs @@ -1,7 +1,7 @@ #! /bin/sh t=__wt.$$ -trap 'rm -f $t /tmp/__doxy; exit 0' 0 1 2 3 13 15 +trap 'rm -f $t /tmp/__doxy' 0 1 2 3 13 15 # Skip this when building release packages: docs are built separately test -n "$WT_RELEASE_BUILD" && exit 0 |