From 7a77d3d17e4ade7dca6ebc6161e9532cae6b3872 Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Wed, 18 May 2016 15:18:11 +0000
Subject: [PATCH] Increased control over player invalidation

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

diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm
index 05be2ca..415714f 100644
--- a/devel/scheme/api/glue-auto-doc.en.tm
+++ b/devel/scheme/api/glue-auto-doc.en.tm
@@ -7699,7 +7699,7 @@ source code.
   </explain>
 
   <\explain>
-    <scm|(update-players <scm-arg|path>)>
+    <scm|(update-players <scm-arg|path> <scm-arg|bool>)>
 <explain-synopsis|no synopsis>
   <|explain>
     Calls the <c++> function <cpp|typeset_invalidate_players> which returns