manual: omit ocdoc/* during doc generation

diff --git a/user_manual/conf.py b/user_manual/conf.py
index b9c5711..cea5e96 100644 (file)
--- a/user_manual/conf.py
+++ b/user_manual/conf.py
@@ -67,7 +67,7 @@ release = '@VERSION@'
 
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
 
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.

-exclude_patterns = ['_build','scripts/*']
+exclude_patterns = ['_build','scripts/*', 'ocdoc/*']

 
 # The reST default role (used for this markup: `text`) to use for all documents.
 #default_role = None
 
 # The reST default role (used for this markup: `text`) to use for all documents.
 #default_role = None