Let users globally decide whether they want to have these docs in their ports.
This change has also discovered a bug where parts of the documentation where
not installed at all.
Approved by: jrm (mentor), otis (mentor), garga (maintainer)
Differential D50776
devel/git: Rename HTMLDOCS option into canonical DOCS option michaelo on Tue, Jun 10, 12:49 PM. Authored by Tags None Referenced Files
Subscribers None
Details Let users globally decide whether they want to have these docs in their ports. This change has also discovered a bug where parts of the documentation where Approved by: jrm (mentor), otis (mentor), garga (maintainer)
Diff Detail
Event TimelineComment Actions I'm fine with the change, after this minor tweak sorting items, it's approved by me. Thanks!
|