This is a Dockerfile plus some instructions for containerizing the build of the documentation website.
As I'm not very experienced with Docker and/or server administration: Could someone more experienced please have a look at this and check if everything's okay? (It's marked as WIP until then)
I made some minor further changes, but now it's ready for review.
Rejected, due to lack of sufficient isolation.
No due date set.
Deleting a branch is permanent. It CANNOT be undone. Continue?