TheFrenchGhosty a155b70280
Setup CI to build the documentation to a Docker image (#208)
* Add Docker deployment

* Remove the manually built version

* Fix the dockerfile
2022-03-12 23:09:51 +01:00
..
2022-02-08 15:52:02 +00:00