krb5 commit [krb5-1.11]: Remove .doctrees when cleaning src/doc

[Tom Yu]

https://github.com/krb5/krb5/commit/c453d547eda7baaa15efb363ca12985938b8e030
commit c453d547eda7baaa15efb363ca12985938b8e030
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.
    
    (cherry picked from commit 49931235536b1b5888532a4732d03f1d390042e2)
    
    ticket: 7461
    version_fixed: 1.11
    status: resolved

 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