From 7611f177327f09fa5ddbf23f68fa9bd418560b47 Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Wed, 18 May 2016 11:18:04 +0000
Subject: [PATCH] Resetting all players in a document

---
 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 3d2ef31..05be2ca 100644
--- a/devel/scheme/api/glue-auto-doc.en.tm
+++ b/devel/scheme/api/glue-auto-doc.en.tm
@@ -7698,6 +7698,14 @@ source code.
     <scm|void>.
   </explain>
 
+  <\explain>
+    <scm|(update-players <scm-arg|path>)>
+<explain-synopsis|no synopsis>
+  <|explain>
+    Calls the <c++> function <cpp|typeset_invalidate_players> which returns
+    <scm|void>.
+  </explain>
+
   <\explain>
     <scm|(generate-all-aux)>
 <explain-synopsis|no synopsis>