From a9d12f3b1c2fc52a1025f9983d6f4793e61f853a Mon Sep 17 00:00:00 2001 From: Daniel Molkentin Date: Tue, 27 Jan 2015 23:29:49 +0100 Subject: [PATCH] manual: omit ocdoc/* during doc generation --- user_manual/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user_manual/conf.py b/user_manual/conf.py index b9c57114..cea5e968 100644 --- 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. -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 -- 2.11.0