From: Tom Yu <tlyu@mit.edu>
Date: Mon, 26 Nov 2012 21:01:23 +0000 (-0500)
Subject: Remove .doctrees when cleaning src/doc
X-Git-Tag: krb5-1.12-alpha1~463
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=49931235536b1b5888532a4732d03f1d390042e2;p=thirdparty%2Fkrb5.git

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
---

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