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 521871319af4f65fbeee1c3f404905d651dd46bc..56ec0bba3a6e5b282e153212b25ae8844bf708fc 100644 (file)
--- 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