diff --git a/docs/docs/lips/_category_.json b/docs/docs/lips/_category_.json index 70ab6562..517f0ddf 100644 --- a/docs/docs/lips/_category_.json +++ b/docs/docs/lips/_category_.json @@ -1,5 +1,5 @@ { - "label": "LIPS introduction", + "label": "LIPS documentation", "position": 3, "link": { "type": "generated-index"