diff --git a/doc/user/conf.py b/doc/user/conf.py
index 2231989fe5..57a7c08473 100644
--- a/doc/user/conf.py
+++ b/doc/user/conf.py
@@ -132,7 +132,7 @@ language = None
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
 exclude_patterns = ['_build', 'rpki.rst', 'routeserver.rst',
-                    'ospf_fundamentals.rst', 'flowspec.rst']
+                    'ospf_fundamentals.rst', 'flowspec.rst', 'snmptrap.rst']
 
 # The reST default role (used for this markup: `text`) to use for all
 # documents.