Skip to content

Move documentation to Antora

Manuel Prinz requested to merge move-doc-to-antora into master

This restructures part of the documentation so that it can be rendered by Antora (in the orkg-documenation project).

Merge request reports