From 1ef5cef33f37d5b7ca961e0e50836f307cf0c3f5 Mon Sep 17 00:00:00 2001 From: Gervase Markham Date: Mon, 10 Feb 2014 17:10:12 +0000 Subject: makedocs.pl should remove docs/en/doctrees after reST build is complete. r=LpSolit, a=justdave. https://bugzilla.mozilla.org/show_bug.cgi?id=964540 --- docs/makedocs.pl | 2 ++ 1 file changed, 2 insertions(+) (limited to 'docs') diff --git a/docs/makedocs.pl b/docs/makedocs.pl index d29a3fb91..deb117ff3 100755 --- a/docs/makedocs.pl +++ b/docs/makedocs.pl @@ -137,4 +137,6 @@ foreach my $lang (@langs) { say 'pdflatex or rst2pdf not found. Skipping PDF file creation'; } } + + rmtree('doctrees', 0, 1); } -- cgit v1.2.3-24-g4f1b