diff -r 07ed3d73bf58 -r 0095e231ddaf eric6/Documentation/Source/eric6.MicroPython.MicrobitDevices.html
--- a/eric6/Documentation/Source/eric6.MicroPython.MicrobitDevices.html Tue Nov 19 18:53:58 2019 +0100
+++ b/eric6/Documentation/Source/eric6.MicroPython.MicrobitDevices.html Tue Nov 19 18:54:14 2019 +0100
@@ -121,6 +121,10 @@
<td>Public method to get the device documentation URL.</td>
</tr>
<tr>
+<td><a href="#MicrobitDevice.getFirmwareUrl">getFirmwareUrl</a></td>
+<td>Public method to get the device firmware download URL.</td>
+</tr>
+<tr>
<td><a href="#MicrobitDevice.getWorkspace">getWorkspace</a></td>
<td>Public method to get the workspace directory.</td>
</tr>
@@ -350,6 +354,25 @@
str
</dd>
</dl>
+<a NAME="MicrobitDevice.getFirmwareUrl" ID="MicrobitDevice.getFirmwareUrl"></a>
+<h4>MicrobitDevice.getFirmwareUrl</h4>
+<b>getFirmwareUrl</b>(<i></i>)
+
+<p>
+ Public method to get the device firmware download URL.
+</p>
+<dl>
+<dt>Returns:</dt>
+<dd>
+firmware download URL of the device
+</dd>
+</dl>
+<dl>
+<dt>Return Type:</dt>
+<dd>
+str
+</dd>
+</dl>
<a NAME="MicrobitDevice.getWorkspace" ID="MicrobitDevice.getWorkspace"></a>
<h4>MicrobitDevice.getWorkspace</h4>
<b>getWorkspace</b>(<i></i>)
