diff --git a/Dockerfile b/Dockerfile index 36215757..6d0ae725 100644 --- a/Dockerfile +++ b/Dockerfile @@ -12,3 +12,6 @@ RUN ./.github/scripts/install_deps.sh ubuntu-22.04 RUN make -j CXXFLAGS="-O3 -flto -DNDEBUG -static" PKG_CONFIG="pkg-config --static" Q= RUN tar caf rgbds-linux-x86_64.tar.xz --transform='s#.*/##' rgbasm rgblink rgbfix rgbgfx man/* .github/scripts/install.sh + +RUN cp man/* . +RUN ./.github/scripts/install.sh