diff options
Diffstat (limited to 'unsupported/doc')
| -rw-r--r-- | unsupported/doc/Doxyfile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/unsupported/doc/Doxyfile.in b/unsupported/doc/Doxyfile.in index c952b9893..83ab41334 100644 --- a/unsupported/doc/Doxyfile.in +++ b/unsupported/doc/Doxyfile.in @@ -562,8 +562,7 @@ WARN_LOGFILE = # directories like "/usr/src/myproject". Separate the files or directories # with spaces. -INPUT = "${Eigen_BINARY_DIR}/doc" \ - "${Eigen_SOURCE_DIR}/unsupported/Eigen" \ +INPUT = "${Eigen_SOURCE_DIR}/unsupported/Eigen" \ "${Eigen_SOURCE_DIR}/unsupported/doc" # This tag can be used to specify the character encoding of the source files |