From 9aa25ad3ef06b13f1355e75e555d6f4404a19406 Mon Sep 17 00:00:00 2001
From: Stephen Gold <sgold@sonic.net>
Date: Mon, 16 Sep 2019 17:27:03 -0700
Subject: [PATCH] build.gradle: the clean task should remove merged javadoc

---
 build.gradle | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build.gradle b/build.gradle
index 3ccd202a9..da375f02a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -112,6 +112,11 @@ task mergedJavadoc(type: Javadoc, description: 'Creates Javadoc from all the pro
     }
 }
 
+clean.dependsOn('cleanMergedJavadoc')
+task cleanMergedJavadoc(type: Delete) {
+    delete file('dist/javadoc')
+}
+
 task mergedSource(type: Copy){
 
 }