diff options
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 1fb48add6..53898aec7 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -252,7 +252,7 @@ rst_epilog = '\n' if 'notice' in tags: exclude_patterns = [ 'admin', 'appdev', 'basic', 'build', 'plugindev', 'user' ] - exclude_patterns += [ 'about.rst', 'build_this.rxt', 'index.rst', + exclude_patterns += [ 'about.rst', 'build_this.rst', 'index.rst', 'mitK5*.rst', 'resources.rst' ] rst_epilog += '.. |copy| replace:: \(C\)' else: |