cleanup unecessary files in documentation generation

lukestephenson · Jul 18, 2011 · 3b5600e · 3b5600e
1 parent 95a045a
commit 3b5600e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/docs/manual/build.gradle b/docs/manual/build.gradle
@@ -53,6 +53,11 @@ task doc << {
   ant.exec(executable: 'make', dir: sphinxDir, failonerror: true) {
     arg(line: 'html')
   }
+
+  // cleanup what we don't need/want
+  ant.delete(dir: new File(htmlDocDir, '_sources'))
+
+  ant.delete(file: new File(htmlDocDir, 'searchindex.js'))
 }
 
 /**