devel/ghub: 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, 5:26 PM - Parents
- R11:f381a55933c6: devel/transient: Add PDF option and change DOCS option
- Branches
- Unknown
- Tags