From 313d48a0cd8c800e739f6fb1ce4b9d9d086b0cbc Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 3 Apr 2020 15:46:50 +0200
Subject: Move section on funind in appropriate location (inside libraries).

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

(limited to 'doc/sphinx/using/libraries/index.rst')

diff --git a/doc/sphinx/using/libraries/index.rst b/doc/sphinx/using/libraries/index.rst
index d0848e6c3f..ad10869439 100644
--- a/doc/sphinx/using/libraries/index.rst
+++ b/doc/sphinx/using/libraries/index.rst
@@ -22,3 +22,4 @@ installed with the `opam package manager
    ../../language/coq-library
    ../../addendum/extraction
    ../../addendum/miscellaneous-extensions
+   funind
-- 
cgit v1.2.3