diff options
| author | Tom Yu <tlyu@mit.edu> | 2012-11-26 16:01:23 -0500 |
|---|---|---|
| committer | Tom Yu <tlyu@mit.edu> | 2012-11-26 16:01:23 -0500 |
| commit | 49931235536b1b5888532a4732d03f1d390042e2 (patch) | |
| tree | 73306cd171cf0ac78e703523792cb5e04aface0a | |
| parent | 63a344b05fb2543059c1049c93e3106a0c6aa853 (diff) | |
| download | krb5-49931235536b1b5888532a4732d03f1d390042e2.tar.gz krb5-49931235536b1b5888532a4732d03f1d390042e2.tar.xz krb5-49931235536b1b5888532a4732d03f1d390042e2.zip | |
Remove .doctrees when cleaning src/doc
Sphinx produces .doctree pickles that can be over 17MB with the
current documentation. Remove them when running "make clean" in
src/doc so that they don't pollute distribution tar files.
ticket: 7461 (new)
target_version: 1.11
tags: pullup
| -rw-r--r-- | src/doc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index 521871319a..56ec0bba3a 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -122,4 +122,5 @@ $(docsrc)/version.py: $(top_srcdir)/patchlevel.h $(srcdir)/version.py.in clean:: rm -rf doxy rst_apiref rst_composite rst_notice html_subst \ - Doxyfile paths.py $(docsrc)/version.py notice.txt + Doxyfile paths.py $(docsrc)/version.py notice.txt \ + $(docsrc)/html/.doctrees $(docsrc)/pdf/.doctrees |