From 29202727ff1e0608dabc8e8bd742be6bc081c99b Mon Sep 17 00:00:00 2001 From: Roberto Sora Date: Thu, 3 Jun 2021 17:53:28 +0200 Subject: [PATCH 1/2] Replace "Arduino Pro IDE" with proper link to Arduino IDE 2.0 --- docs/library-specification.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/library-specification.md b/docs/library-specification.md index c81508c2fbe..575d4e8d7c2 100644 --- a/docs/library-specification.md +++ b/docs/library-specification.md @@ -7,7 +7,7 @@ This is the specification for the Arduino library format, to be used with Arduin This new library format is intended to be used in tandem with **Library Manager**, available since Arduino IDE 1.6.2. The Library Manager allows users to automatically download and install libraries needed in their projects, with an easy -to use graphical interface in the [Arduino IDE](https://www.arduino.cc/en/guide/libraries#toc3)/Pro IDE and +to use graphical interface in the [Arduino IDE](https://www.arduino.cc/en/guide/libraries#toc3)/[Arduino IDE 2.0](https://www.arduino.cc/en/Tutorial/getting-started-with-ide-v2/ide-v2-installing-a-library#installing-a-library) and [Arduino Web Editor](https://create.arduino.cc/projecthub/Arduino_Genuino/getting-started-with-arduino-web-editor-on-various-platforms-4b3e4a#toc-libraries-and-the-arduino-web-editor-11) as well as [`arduino-cli lib`](commands/arduino-cli_lib.md). From d711ad30023d698fded29a20e281e673e26abe3d Mon Sep 17 00:00:00 2001 From: rsora Date: Thu, 3 Jun 2021 17:56:56 +0200 Subject: [PATCH 2/2] Run prettier --- docs/library-specification.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/library-specification.md b/docs/library-specification.md index 575d4e8d7c2..9dec997d0f5 100644 --- a/docs/library-specification.md +++ b/docs/library-specification.md @@ -7,7 +7,9 @@ This is the specification for the Arduino library format, to be used with Arduin This new library format is intended to be used in tandem with **Library Manager**, available since Arduino IDE 1.6.2. The Library Manager allows users to automatically download and install libraries needed in their projects, with an easy -to use graphical interface in the [Arduino IDE](https://www.arduino.cc/en/guide/libraries#toc3)/[Arduino IDE 2.0](https://www.arduino.cc/en/Tutorial/getting-started-with-ide-v2/ide-v2-installing-a-library#installing-a-library) and +to use graphical interface in the +[Arduino IDE](https://www.arduino.cc/en/guide/libraries#toc3)/[Arduino IDE 2.0](https://www.arduino.cc/en/Tutorial/getting-started-with-ide-v2/ide-v2-installing-a-library#installing-a-library) +and [Arduino Web Editor](https://create.arduino.cc/projecthub/Arduino_Genuino/getting-started-with-arduino-web-editor-on-various-platforms-4b3e4a#toc-libraries-and-the-arduino-web-editor-11) as well as [`arduino-cli lib`](commands/arduino-cli_lib.md).