From 5f9572b4b6280995b5c1078f59f7f514e665a4c0 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 21 Jun 2020 17:49:14 +0200
Subject: Add index for coqdoc.

Fixes #12545.
---
 doc/sphinx/using/tools/coqdoc.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/sphinx/using/tools/coqdoc.rst b/doc/sphinx/using/tools/coqdoc.rst
index f872c1b2e3..9ac3d2adda 100644
--- a/doc/sphinx/using/tools/coqdoc.rst
+++ b/doc/sphinx/using/tools/coqdoc.rst
@@ -1,3 +1,5 @@
+.. index:: coqdoc
+
 .. _coqdoc:
 
 Documenting |Coq| files with coqdoc
-- 
cgit v1.2.3