From 3a0d09cdacda6792688ae7015a9d3526e4a5a42a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Cl=C3=A9ment?= <francois.clement@inria.fr>
Date: Sun, 9 Mar 2025 23:35:47 +0100
Subject: [PATCH] For coqdoc.

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_CoqProject b/_CoqProject
index 5c1fc643..4bb788f6 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -14,6 +14,7 @@
 -arg "-w -ambiguous-paths"
 
 -docroot .
+# Options for coqdoc: --no-index -toc -g (or -l)
 
 #
 # Requisite.
-- 
GitLab