Make inclusion of doc sub-directory optional. (!281) · Merge requests · libeigen / eigen

The source project of this merge request has been removed.

Allows exclusion of doc and related targets to help when using eigen via add_subdirector().

Requested by:

Make inclusion of doc sub-directory optional.