Switch doc handling: use a read-only bind mount instead, and add compose.yml

Author: mattam82

.dockerignore

@@ -1,5 +1,4 @@
 *
-!rocq-doc/
 !asset/
 !data/
 !src/

Dockerfile

@@ -33,7 +33,6 @@ RUN chmod -R 755 /var
 COPY --from=build /home/opam/package.state /var/package.state
 COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
-COPY --from=build /home/opam/rocq-doc /doc
 
 COPY playground/asset playground/asset
 

compose.yml

@@ -0,0 +1,11 @@
+services:
+  web:
+    restart: always
+    build: .
+    ports:
+      - "127.0.0.1:8000:8080"
+    volumes:
+      - type: bind
+        source: ./rocq-doc
+        target: /doc
+        read_only: true