diff options
author | Greg Hudson <ghudson@mit.edu> | 2024-01-24 17:33:18 -0500 |
---|---|---|
committer | Greg Hudson <ghudson@mit.edu> | 2024-01-24 17:33:18 -0500 |
commit | f5ad07bd3b1242ab75dcbc91627bd96aaeec87cd (patch) | |
tree | d4dc8d2e0663581e77c1368e7915f7bba528f866 /doc | |
parent | 5b00197227231943bd2305328c8260dd0b0dbcf0 (diff) | |
download | krb5-f5ad07bd3b1242ab75dcbc91627bd96aaeec87cd.zip krb5-f5ad07bd3b1242ab75dcbc91627bd96aaeec87cd.tar.gz krb5-f5ad07bd3b1242ab75dcbc91627bd96aaeec87cd.tar.bz2 |
Fix NOTICE generation and regenerate it
In conf.py, exclude the formats directory (added in commit
68ac7ac1f1a1d2939a2c99fa49cecd734614d16d) when building notice.txt, to
prevent a "document isn't included in any toctree" warning.
Diffstat (limited to 'doc')
-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 cd76f59..8a8a126 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -261,7 +261,7 @@ else: rst_epilog = '\n' if 'notice' in tags: - exclude_patterns = [ 'admin', 'appdev', 'basic', 'build', + exclude_patterns = [ 'admin', 'appdev', 'basic', 'build', 'formats', 'plugindev', 'user' ] exclude_patterns += [ 'about.rst', 'build_this.rst', 'copyright.rst', 'index.rst', 'mitK5*.rst', 'resources.rst' ] |