aboutsummaryrefslogtreecommitdiffhomepage
path: root/Dockerfile
diff options
context:
space:
mode:
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile
index e73579a..38d7e0a 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -12,3 +12,7 @@ RUN eval $(opam env) && \
satyrographos install --copy
WORKDIR /work
+
+COPY patches/figbox.satyh.patch /root/.satysfi/dist/packages/figbox/figbox.satyh.patch
+RUN cd /root/.satysfi/dist/packages/figbox && \
+ patch -p0 < figbox.satyh.patch