Merge pull request #3295 from johnnonweiler/doc/exclude-cprover-manual-folder

Exclude doc/cprover-manual from Doxygen input [blocks: #3258]

Author: peterschrammel

src/doxyfile

@@ -813,7 +813,8 @@ RECURSIVE              = YES
 # Note that relative paths are relative to the directory from which doxygen is
 # run.
 
-EXCLUDE                = solvers/z3/
+EXCLUDE                = solvers/z3/ \
+                         ../doc/cprover-manual
 
 # The EXCLUDE_SYMLINKS tag can be used to select whether or not files or
 # directories that are symbolic links (a Unix file system feature) are excluded