summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorGervase Markham <gerv@gerv.net>2014-02-10 18:10:12 +0100
committerGervase Markham <gerv@mozilla.org>2014-02-10 18:10:12 +0100
commit1ef5cef33f37d5b7ca961e0e50836f307cf0c3f5 (patch)
tree8c44f6cc0675dfa3fcacd6df7b484aaaa280f610 /docs
parent1f815b55a63db41908d7fcf382705764b6b6a8bb (diff)
downloadbugzilla-1ef5cef33f37d5b7ca961e0e50836f307cf0c3f5.tar.gz
bugzilla-1ef5cef33f37d5b7ca961e0e50836f307cf0c3f5.tar.xz
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
Diffstat (limited to 'docs')
-rwxr-xr-xdocs/makedocs.pl2
1 files changed, 2 insertions, 0 deletions
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);
}