diff options
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -15,9 +15,9 @@ package() { cd "$srcdir/$pkgname" sed "s/\.\/gdb_pince\/gdb-7\.11\.1\/bin\/gdb/\/usr\/bin\/gdb/g" libPINCE/type_defs.py > libPINCE/type_defs.py.new mv libPINCE/type_defs.py.new libPINCE/type_defs.py - install -d $pkgdir/usr/bin - install -d $pkgdir/usr/share/PINCE - install PINCE.py $pkgdir/usr/share/PINCE - cp -r GUI libPINCE media pince-non-stop-files $pkgdir/usr/share/PINCE - ln -s $pkgdir/usr/share/PINCE/PINCE.py $pkgdir/usr/bin/pince + install -d "$pkgdir/usr/bin" + install -d "$pkgdir/usr/share/PINCE" + install PINCE.py "$pkgdir/usr/share/PINCE" + cp -r GUI libPINCE media pince-non-stop-files "$pkgdir/usr/share/PINCE" + ln -s "/usr/share/PINCE/PINCE.py" "${pkgdir}/usr/bin/pince" } |