From 7dabdec56e3a3589dfce60e6847eacca9710ee81 Mon Sep 17 00:00:00 2001 From: umbynos Date: Thu, 10 Mar 2022 10:47:51 +0100 Subject: [PATCH 1/2] update documentation links --- docs/library-specification.md | 2 +- docs/package_index_json-specification.md | 2 +- docs/sketch-specification.md | 5 +++-- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/library-specification.md b/docs/library-specification.md index 232f67829aa..2d1775e9469 100644 --- a/docs/library-specification.md +++ b/docs/library-specification.md @@ -8,7 +8,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)/[Arduino IDE 2.0](https://www.arduino.cc/en/Tutorial/getting-started-with-ide-v2/ide-v2-installing-a-library#installing-a-library) +[Arduino IDE](https://docs.arduino.cc/software/ide-v1/tutorials/installing-libraries#using-the-library-manager)/[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). diff --git a/docs/package_index_json-specification.md b/docs/package_index_json-specification.md index fdfeb0b259d..f09e51f9e15 100644 --- a/docs/package_index_json-specification.md +++ b/docs/package_index_json-specification.md @@ -3,7 +3,7 @@ provide Boards Manager installation support for a platform, a JSON formatted ind specification for that file. Boards Manager functionality is provided by [Arduino CLI](getting-started.md#adding-3rd-party-cores), -[Arduino IDE](https://www.arduino.cc/en/Guide/Cores), and Arduino Pro IDE. +[Arduino IDE](https://docs.arduino.cc/learn/starting-guide/cores), and Arduino Pro IDE. ## Naming of the JSON index file diff --git a/docs/sketch-specification.md b/docs/sketch-specification.md index a852746cf49..a4d0b53c87d 100644 --- a/docs/sketch-specification.md +++ b/docs/sketch-specification.md @@ -130,10 +130,11 @@ no requirement to store sketches in the sketchbook folder. ## Library/Boards Manager links A URI in a comment in the form `http://librarymanager#SEARCH_TERM` will open a search for SEARCH_TERM in -[Library Manager](https://www.arduino.cc/en/guide/libraries#toc3) when clicked in the Arduino IDE. +[Library Manager](https://docs.arduino.cc/software/ide-v1/tutorials/installing-libraries#using-the-library-manager) when +clicked in the Arduino IDE. A URI in a comment in the form `http://boardsmanager#SEARCH_TERM` will open a search for SEARCH_TERM in -[Boards Manager](https://www.arduino.cc/en/Guide/Cores) when clicked in the Arduino IDE. +[Boards Manager](https://docs.arduino.cc/learn/starting-guide/cores) when clicked in the Arduino IDE. This can be used to offer the user an easy way to install dependencies of the sketch. From 56c474c8a0a6789d7a272e34c571202da6433121 Mon Sep 17 00:00:00 2001 From: Umberto Baldi <34278123+umbynos@users.noreply.github.com> Date: Thu, 10 Mar 2022 11:41:03 +0100 Subject: [PATCH 2/2] Update docs/library-specification.md Co-authored-by: per1234 --- 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 2d1775e9469..a8c24c03ab7 100644 --- a/docs/library-specification.md +++ b/docs/library-specification.md @@ -8,7 +8,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://docs.arduino.cc/software/ide-v1/tutorials/installing-libraries#using-the-library-manager)/[Arduino IDE 2.0](https://www.arduino.cc/en/Tutorial/getting-started-with-ide-v2/ide-v2-installing-a-library#installing-a-library) +[Arduino IDE](https://docs.arduino.cc/software/ide-v1/tutorials/installing-libraries#using-the-library-manager)/[Arduino IDE 2.0](https://docs.arduino.cc/software/ide-v2/tutorials/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).