Disable doc_usersguide and doc_developersguide targets
We do not actually use them anymore since many years.
Description
Description
Details
Details
- Provenance
kislinsk Authored on Nov 28 2020, 4:55 AM kislinsk Pushed on Nov 28 2020, 4:56 AM - Parents
- rMITK8d95c9efc8f5: Remove manual target_link_libraries() calls
- Branches
- Unknown
- Tags