From e0b564795bef4812bace8ad2448fc2b476c88d6a Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Thu, 5 Sep 2024 09:53:06 +0800
Subject: [PATCH] Update CoqdocJs

---
 coqdocjs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coqdocjs b/coqdocjs
index 5740184..d000c33 160000
--- a/coqdocjs
+++ b/coqdocjs
@@ -1 +1 @@
-Subproject commit 57401849fffb24500c078973a8382dd3086fd2bf
+Subproject commit d000c33bf04e89b6d296cd7afc6d782395d68777