From c7313a361d69efc4853c17c18d1591cd5f891648 Mon Sep 17 00:00:00 2001 From: Nicolas Paul Date: Tue, 3 Oct 2023 09:38:59 +0200 Subject: Move installation information inside the index --- doc/pages/_meta.json | 1 - 1 file changed, 1 deletion(-) (limited to 'doc/pages/_meta.json') diff --git a/doc/pages/_meta.json b/doc/pages/_meta.json index 6ce1f13..4304e46 100644 --- a/doc/pages/_meta.json +++ b/doc/pages/_meta.json @@ -1,6 +1,5 @@ { "index": "Introduction", - "install": "Installation", "guide": "Example", "starlark": "Starlark Language", "references": "References" -- cgit v1.2.3