]> git.ipfire.org Git - thirdparty/krb5.git/commit
Remove .doctrees when cleaning src/doc
authorTom Yu <tlyu@mit.edu>
Mon, 26 Nov 2012 21:01:23 +0000 (16:01 -0500)
committerTom Yu <tlyu@mit.edu>
Mon, 26 Nov 2012 21:01:23 +0000 (16:01 -0500)
commit49931235536b1b5888532a4732d03f1d390042e2
tree73306cd171cf0ac78e703523792cb5e04aface0a
parent63a344b05fb2543059c1049c93e3106a0c6aa853
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