From 99e239172dbd384418500554a6d8b4a058c3545b Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Tue, 21 Apr 2020 13:13:43 -0700
Subject: Support in-line glossary entries and references with an index

---
 doc/sphinx/appendix/indexes/index.rst | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/sphinx/appendix')

diff --git a/doc/sphinx/appendix/indexes/index.rst b/doc/sphinx/appendix/indexes/index.rst
index 2ece726df7..c8b2cf46dc 100644
--- a/doc/sphinx/appendix/indexes/index.rst
+++ b/doc/sphinx/appendix/indexes/index.rst
@@ -17,6 +17,7 @@ find what you are looking for.
    ../../coq-optindex
    ../../coq-exnindex
    ../../coq-attrindex
+   ../../std-glossindex
 
 For reference, here are direct links to the documentation of:
 
-- 
cgit v1.2.3