chore(docker): Trim container size by not baking in manual and examples

They are nearly unreachable anyway...
sile-typesetter · Mar 29, 2021 · 40a1972 · 40a1972
1 parent 3988339
commit 40a1972
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -27,7 +27,7 @@ WORKDIR /src
 RUN build-aux/docker-bootstrap.sh
 
 RUN ./bootstrap.sh
-RUN ./configure
+RUN ./configure --without-manual --without-examples
 RUN make
 RUN make check
 RUN make install DESTDIR=/pkgdir