From 9df2a43d5336ceb67a8da45f7b64c074b090790f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 20 Mar 2020 17:57:28 +0100
Subject: Add an index for attributes.

---
 doc/tools/coqrst/coqdomain.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'doc/tools')

diff --git a/doc/tools/coqrst/coqdomain.py b/doc/tools/coqrst/coqdomain.py
index 84f32e187b..2a685a622b 100644
--- a/doc/tools/coqrst/coqdomain.py
+++ b/doc/tools/coqrst/coqdomain.py
@@ -1092,7 +1092,6 @@ class CoqVernacIndex(CoqSubdomainsIndex):
 class CoqTacticIndex(CoqSubdomainsIndex):
     name, localname, shortname, subdomains = "tacindex", "Tactic Index", "tactics", ["tacn"]
 
-# Attribute index is generated but not included in output
 class CoqAttributeIndex(CoqSubdomainsIndex):
     name, localname, shortname, subdomains = "attrindex", "Attribute Index", "attributes", ["attr"]
 
@@ -1217,7 +1216,7 @@ class CoqDomain(Domain):
         'g': CoqCodeRole
     }
 
-    indices = [CoqVernacIndex, CoqTacticIndex, CoqOptionIndex, CoqGallinaIndex, CoqExceptionIndex]
+    indices = [CoqVernacIndex, CoqTacticIndex, CoqOptionIndex, CoqGallinaIndex, CoqExceptionIndex, CoqAttributeIndex]
 
     data_version = 1
     initial_data = {
-- 
cgit v1.2.3