Docs: Add Sphinx-based manual

This commit is contained in:
Ole Schütt 2023-06-06 22:20:50 +02:00 committed by Ole Schütt
parent 03f49e929a
commit 934a489bed
16 changed files with 508 additions and 8 deletions

View file

@ -15,6 +15,7 @@ ARG GIT_COMMIT_SHA
COPY ./src ./src
COPY ./exts ./exts
COPY ./data ./data
COPY ./docs ./docs
COPY ./tools ./tools
COPY ./cmake ./cmake
COPY ./CMakeLists.txt .