From 323c4b01d09734b0526728de7f4cdd65d29552ed Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Wed, 7 Mar 2018 10:06:21 +0000 Subject: [PATCH] Make it possible to generate auxiliary material from within the test suite --- 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 3322e81..ed4a2a4 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -7834,6 +7834,14 @@ source code. . + <\explain> + + + <|explain> + Calls the function which returns + . + + <\explain> )>