don't make a .../source/source/ directory

diff --git a/install-extras.sh b/install-extras.sh
index 3dc931ec587e9b3eecd904cfdad1d9f30fbea2a6..d1babb12d60866498aea9d778796f09d64bc5f47 100755 (executable)
--- a/install-extras.sh
+++ b/install-extras.sh
@@ -178,7 +178,7 @@ wget 'https://media.libreplanet.org/mgoblin_media/media_entries/2799/lp2023-jupi
 ### 
 
 
-tar -C $DEVTMP/source/ --no-same-owner --touch --no-overwrite-dir -xvf $TAR || true
+tar -C $DEVTMP/ --no-same-owner --touch --no-overwrite-dir -xvf $TAR || true
 
 
 ###