Changes between Initial Version and Version 1 of Ticket #44598, comment 1
- Timestamp:
- Aug 11, 2014, 12:33:02 PM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #44598, comment 1
initial v1 1 Using the doc variant will cause both `-DENABLE_MAN=ON` and `-DENABLE_DOC=ON` to appear in the `configure.args`. To avoid this, use `configure.args-replace` instead of `configure.args-append`. 1 ~~Using the doc variant will cause both `-DENABLE_MAN=ON` and `-DENABLE_DOC=ON` to appear in the `configure.args`. To avoid this, use `configure.args-replace` instead of `configure.args-append`.~~ 2 3 Never mind, that's not a problem.