From 666318f6bb15442862e5fec2365388b5ca12893a Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Fri, 23 Jun 2017 16:01:18 +0000
Subject: [PATCH] Fix bug #45636: edit_main_rep::print_snippet doesn't expand
 macro before printing

---
 devel/scheme/api/glue-auto-doc.en.tm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm
index 20ccb3b..a70de4a 100644
--- a/devel/scheme/api/glue-auto-doc.en.tm
+++ b/devel/scheme/api/glue-auto-doc.en.tm
@@ -13635,7 +13635,7 @@ source code.
   </explain>
 
   <\explain>
-    <scm|(print-snippet <scm-arg|url> <scm-arg|content>)>
+    <scm|(print-snippet <scm-arg|url> <scm-arg|content> <scm-arg|bool>)>
 <explain-synopsis|no synopsis>
   <|explain>
     Calls the <c++> function <cpp|print_snippet> which returns
@@ -15899,7 +15899,7 @@ source code.
   </explain>
 
   <\explain>
-    <scm|(print-snippet <scm-arg|url> <scm-arg|content>)>
+    <scm|(print-snippet <scm-arg|url> <scm-arg|content> <scm-arg|bool>)>
 <explain-synopsis|no synopsis>
   <|explain>
     Calls the <c++> function <cpp|print_snippet> which returns