1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
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 -->
|
