From caf5a9f949f2329c0a39e7ba4beb77aaf81a56a8 Mon Sep 17 00:00:00 2001 From: Carsten Bauer Date: Tue, 6 Feb 2024 22:24:37 +0100 Subject: [PATCH] Rename References to API in docs --- docs/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index c846bd56..8f10832c 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -23,7 +23,7 @@ makedocs(; # ], "Translation Guide" => "translation.md", "Task-Local Storage" => "examples/tls/tls.md", - "References" => [ + "API" => [ "Public API" => "refs/api.md", "Internal" => "refs/internal.md", ],