From ac5c18106592bd97d05b5125039394a98aebec57 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 26 Nov 2018 09:36:11 +0100
Subject: Turn warning on for undocumented objects. Closes #7602.

---
 doc/sphinx/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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