diff options
Diffstat (limited to '.mtn-ignore')
| -rw-r--r-- | .mtn-ignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.mtn-ignore b/.mtn-ignore index ee6f8d743..63acd11e3 100644 --- a/.mtn-ignore +++ b/.mtn-ignore @@ -18,4 +18,7 @@ callgrind.out.* ^checks/nist_tests/x509test$ ^doc/botan.doxy$ ^doc/doxygen$ +^doc/.*\.pdf$ +^doc/.*\.log$ +^doc/.*\.toc$ ^doc/examples/.*\.pem$ |