From 8332b845a7499f556275aa3700c2b59a215eb707 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Lesimple?= Date: Tue, 12 Jan 2021 23:40:28 +0100 Subject: [PATCH] chore: windist: fix gtk-2.0 location --- .github/workflows/make-dist.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/make-dist.sh b/.github/workflows/make-dist.sh index fcbc3ea..b5bc56b 100755 --- a/.github/workflows/make-dist.sh +++ b/.github/workflows/make-dist.sh @@ -28,9 +28,9 @@ mkdir -p dist/locale cp -vr locale/*/ dist/locale/ if [ "$os" != "linux64" ]; then if [ "$GUI" = 1 ]; then - mkdir -p dist/share/themes + mkdir -p dist/share/themes dist/lib/gtk-2.0 cp -vr $MINGW_PREFIX/share/themes/MS-Windows dist/share/themes/ - cp -vr $MINGW_PREFIX/lib/gtk-2.0 dist/lib/ + cp -vr $MINGW_PREFIX/lib/gtk-2.0/* dist/lib/gtk-2.0/ rm -rf dist/lib/gtk-2.0/include fi mkdir -p dist/lib