devel/transient: Add PDF option and change DOCS option
- Add new option PDF. If it is enabled PDF document is built and installed.
- Change DOCS option so HTML document is built and installed if it is enabled.
Description
Description
Details
Details
- Provenance
yasu Authored on Feb 20 2022, 2:13 PM - Parents
- R11:6a1cfd2b6f29: editors/with-editor: Add PDF option and change DOCS option
- Branches
- Unknown
- Tags