diff options
author | Michael Cahill <michael.cahill@wiredtiger.com> | 2012-05-09 23:47:22 +1000 |
---|---|---|
committer | Michael Cahill <michael.cahill@wiredtiger.com> | 2012-05-09 23:47:22 +1000 |
commit | db89c0ab6e2d56cfef964a3ae2a792ae5316c5f0 (patch) | |
tree | 660ac8a1e9dd4a7e343360183430652ae012ed30 /dist/s_copyright.list | |
parent | e0c96aa3ab7b006c7334030d94d46558b41ca33e (diff) | |
download | mongo-db89c0ab6e2d56cfef964a3ae2a792ae5316c5f0.tar.gz |
Fix copyright check for script in docs/src/tools.
Diffstat (limited to 'dist/s_copyright.list')
-rw-r--r-- | dist/s_copyright.list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/s_copyright.list b/dist/s_copyright.list index baa242346c0..b80344dd45e 100644 --- a/dist/s_copyright.list +++ b/dist/s_copyright.list @@ -21,6 +21,7 @@ skip lang/python/wiredtiger.py skip lang/python/wiredtiger_wrap.c skip src/api/api_strerror.c skip src/config/config_def.c +skip src/docs/tools/doxypy.py skip src/include/extern.h skip src/include/log.i skip src/include/queue.h |