Optional Documentation also for CMake Build #217

Open

Open

Optional Documentation also for CMake Build#217

opened

on Aug 30, 2019

As in #212, make it optional to generate documentation in CMake build so it is not necessary to always have TeX installed.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests