From d2d49802795476a1b22a62d00f61261b08a3c959 Mon Sep 17 00:00:00 2001 From: per1234 Date: Wed, 13 Jan 2021 10:42:36 -0800 Subject: [PATCH] [skip changelog] Use generally applicable name for package index specification Previously the name of the specification was "package_index.json specification". Only the primary official package index is allowed to be named package_index.json, but this specification applies to all package indexes. So "Arduino package index specification" (shortened to "Package index specification" in the documentation navigaion pane) is less likely to cause confusion and also easier to remember and talk about. --- mkdocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index 16524542982..9cade97a75b 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -121,7 +121,7 @@ nav: - sketch-specification.md - library-specification.md - platform-specification.md - - package_index.json specification: package_index_json-specification.md + - Package index specification: package_index_json-specification.md extra_css: - css/version-select.css