From: Scott Howard <showard@debian.org>
Date: Wed, 28 Mar 2018 15:52:21 -0300
Subject: Don't download any external documentation files

Forwarded: not-needed
---
 build/build.xml | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index f2266ed..530cac9 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -233,13 +233,9 @@
   </target>
 
   <target name="assemble-docs" unless="no_docs">
-      <!-- Unzip documentation -->
-      <antcall target="unzip">
-        <param name="archive_file" value="shared/reference-1.6.6-3.zip" />
-        <param name="archive_url" value="https://downloads.arduino.cc/reference-1.6.6-3.zip" />
-        <param name="final_folder" value="${target.path}/reference/www.arduino.cc" />
-        <param name="dest_folder" value="${target.path}/reference/" />
-      </antcall>
+      <!-- Inform user somehow on this intervention on upstream idea -->
+      <echo file="${target.path}/reference/fyi.txt"
+      message="No downloads done during build of Arduino IDE ..." />
   </target>
 
   <!-- copy library folder -->