devel/forge-devel: 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.
- Add NO_ARCH
Description
Description
Details
Details
- Provenance
yasu Authored on Feb 20 2022, 10:26 PM - Parents
- R11:332a6fdabed2: devel/forge: Add PDF option and change DOCS option
- Branches
- Unknown
- Tags