removing build_doc build option
Documentation targets are created if the dependencies are met instead of if
build_doc is activated.
Description
Description
Details
Details
- Committed
frerot Jul 15 2021, 23:33 - Pushed
frerot Jul 15 2021, 23:52 - Parents
- rTAMAAS9954206dc53e: linting wrapper
- Branches
- Unknown
- Tags