From 35d27dfd9df0cf94b1218812bc6c1e2bc832ec1d Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Sun, 13 May 2018 10:32:12 -0400
Subject: [doc] Add a setting to warn about empty Coq objects

---
 doc/sphinx/conf.py | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 1f7dd9d689..f65400e88c 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -51,6 +51,10 @@ extensions = [
     'coqrst.coqdomain'
 ]
 
+# Change this to "info" or "warning" to get notifications about undocumented Coq
+# objects (objects with no contents).
+report_undocumented_coq_objects = None
+
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ['_templates']
 
-- 
cgit v1.2.3