diff --git a/doc/Dockerfile b/doc/Dockerfile index cec3e30..67c880e 100644 --- a/doc/Dockerfile +++ b/doc/Dockerfile @@ -2,3 +2,4 @@ FROM nginx:1.25.4-bookworm RUN rm -rf /usr/share/nginx/html COPY _build/default/_doc/_html/relic-sdk /usr/share/nginx/html +COPY _build/default/_doc/_html/odoc.support /usr/share/nginx/html/odoc.support