1 files changed, 11 insertions, 5 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 23bc9a2e4..f65400e88 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']
 
@@ -96,11 +100,13 @@ language = None
 # directories to ignore when looking for source files.
 # This patterns also effect to html_static_path and html_extra_path
 exclude_patterns = [
-  '_build',
-  'Thumbs.db',
-  '.DS_Store',
-  'introduction.rst',
-  'credits.rst'
+    '_build',
+    'Thumbs.db',
+    '.DS_Store',
+    'introduction.rst',
+    'credits.rst',
+    'README.rst',
+    'README.template.rst'
 ]
 
 # The reST default role (used for this markup: `text`) to use for all