From 11b7e207f16f5a1daf057a7eb05a76d531a51d2a Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Tue, 10 Nov 2020 16:40:01 +0000 Subject: [PATCH] Preview for index and glossary entries --- devel/scheme/api/glue-auto-doc.en.tm | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index 5ea86de..5ec9eaf 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -7522,6 +7522,14 @@ source code. . + <\explain> + path )> + + <|explain> + Calls the function which returns + . + + <\explain> )>