remove doc

RazvanLiviuVarzaru · Sep 9, 2024 · ba680b6 · ba680b6
1 parent 2c0d004
commit ba680b6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci_build_images/msan.Dockerfile b/ci_build_images/msan.Dockerfile
@@ -86,6 +86,8 @@ RUN apt-get source gnutls28 \
     && apt-get source gmp \
     && mv gmp-*/* . \
     && mk-build-deps -it 'apt-get -o Debug::pkgProblemResolver=yes --no-install-recommends --yes' \
+    && sed -e '/^.*"doc\/Makefile".*/d;s/doc\/Makefile //;' -i.bak configure \
+    && sed -e 's/^\(SUBDIRS = .*\) doc$/\1/;' -i.bak Makefile.in \
     && ./configure \
         --disable-assembly \
     && make -j "$(nproc)" \