diff options
-rw-r--r-- | 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 4b3ae167f0..a6bb7c539e 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -128,4 +128,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 \ - $(docsrc)/html/.doctrees $(docsrc)/pdf/.doctrees + $(docsrc)/html/.doctrees $(docsrc)/pdf/.doctrees \ + $(docsrc)/tools/*.pyc |