From a988d3494808cfbc5478fcacf191fb5c33354315 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <miroslav.kratochvil@uni.lu>
Date: Mon, 1 Aug 2022 13:00:53 +0200
Subject: [PATCH] make a better index of the api reference

---
 docs/src/functions.md      | 2 +-
 docs/src/index.md.template | 8 ++++++--
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/docs/src/functions.md b/docs/src/functions.md
index 915f37cdb..9d26940b0 100644
--- a/docs/src/functions.md
+++ b/docs/src/functions.md
@@ -1,4 +1,4 @@
-# Types and functions
+# API reference
 
 ```@contents
 Pages = filter(x -> endswith(x, ".md"), readdir("functions", join=true))
diff --git a/docs/src/index.md.template b/docs/src/index.md.template
index 5d1617c92..d5d49ca5a 100644
--- a/docs/src/index.md.template
+++ b/docs/src/index.md.template
@@ -61,10 +61,14 @@ Pages = filter(x -> endswith(x, ".md"), readdir("concepts", join=true))
 Depth = 1
 ```
 
-## Functions reference
+## Functions and types API reference
+
+Detailed table of contents of the API documentation is [available
+here](functions.md).
 
 ```@contents
-Pages = ["functions.md"]
+Pages = filter(x -> endswith(x, ".md"), readdir("functions", join=true))
+Depth = 1
 ```
 
 ## Contribution guide