From bfd6577d07a0462d2f63e77b851f86aa11c0dcea Mon Sep 17 00:00:00 2001 From: Christopher Wellons Date: Wed, 3 Sep 2025 08:37:17 -0400 Subject: [PATCH] Move w64devkit.ini to the root to mirror "installs" One of my goals is that the distribution can be re-built in place using only Docker or Podman, and so the unpacked distribution mirrors the repository layout. That hasn't been true for w64devkit.ini, which is the only file interfering with this trick, so fix it. --- Dockerfile | 2 +- src/w64devkit.ini => w64devkit.ini | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename src/w64devkit.ini => w64devkit.ini (100%) diff --git a/Dockerfile b/Dockerfile index 3847adf..3e522a2 100644 --- a/Dockerfile +++ b/Dockerfile @@ -479,7 +479,7 @@ RUN sed -i s/CommCtrl/commctrl/ $(grep -Rl CommCtrl CPP/) \ WORKDIR / RUN rm -rf $PREFIX/share/man/ $PREFIX/share/info/ $PREFIX/share/gcc-* -COPY README.md Dockerfile src/w64devkit.ini $PREFIX/ +COPY README.md Dockerfile w64devkit.ini $PREFIX/ RUN printf "id ICON \"$PREFIX/src/w64devkit.ico\"" >w64devkit.rc \ && $ARCH-windres -o w64devkit.o w64devkit.rc \ && $ARCH-gcc -DVERSION=$VERSION -nostdlib -fno-asynchronous-unwind-tables \ diff --git a/src/w64devkit.ini b/w64devkit.ini similarity index 100% rename from src/w64devkit.ini rename to w64devkit.ini