devel/magit: Add PDF option and change DOCS option
- Add new option PDF. If it is enabled PDF documents are built and installed.
- Change DOCS option so HTML documents and release notes are installed if it is enabled.
Description
Description
Details
Details
- Provenance
yasu Authored on Feb 20 2022, 6:31 PM - Parents
- R11:d07bdca15651: devel/ghub: Add PDF option and change DOCS option
- Branches
- Unknown
- Tags