This PR will introduce the documentation under the docs-folder. It is mainly a copy&paste of the content of the current Wiki-Pages into the docs-folder by adapting a bit the structure.
After the merge of this pull request, the WIKI-pages shall be deactivated / deleted.
Edits below by @GhaziTriki
The documentation now uses mdbook and have a better structure.
This PR will introduce the documentation under the
docs-folder. It is mainly a copy&paste of the content of the current Wiki-Pages into the docs-folder by adapting a bit the structure.After the merge of this pull request, the WIKI-pages shall be deactivated / deleted.
Edits below by @GhaziTriki
The documentation now uses mdbook and have a better structure.