-
Carlos Garnacho authored
The devhelp index generation relies on specific roles set in the docbook XML, we were setting none for ontology properties though.
9a26a64e
The devhelp index generation relies on specific roles set in the docbook XML, we were setting none for ontology properties though.