krb5 commit: Remove .doctrees when cleaning src/doc

[Tom Yu]

https://github.com/krb5/krb5/commit/49931235536b1b5888532a4732d03f1d390042e2
commit 49931235536b1b5888532a4732d03f1d390042e2
Author: Tom Yu <tlyu at mit.edu>
Date:   Mon Nov 26 16:01:23 2012 -0500

    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

 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 5218713..56ec0bb 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