[4.0] 1309012 Skip generated files, they are included manually.

[Lasse Karstensen]

commit 1309012f56d31b29b40961e7183cb4916001cfc2
Author: Lasse Karstensen <lkarsten at varnish-software.com>
Date:   Thu Mar 20 15:52:56 2014 +0100

    Skip generated files, they are included manually.
    
    We include these autogenerated files directly where they are needed.
    
    Let the main sphinx process ignore them, so it doesn't complain that they're
    not referenced anywhere.

diff --git a/doc/sphinx/conf.py.in b/doc/sphinx/conf.py.in
index f68a20f..8104bb3 100644
--- a/doc/sphinx/conf.py.in
+++ b/doc/sphinx/conf.py.in
@@ -64,7 +64,7 @@ release = '@VERSION@'
 
 # List of directories, relative to source directory, that shouldn't be searched
 # for source files.
-exclude_patterns = ['build','reference/params.rst']
+exclude_patterns = ['build','include/*.rst']
 
 # The reST default role (used for this markup: `text`) to use for all documents.
 #default_role = None