diff options
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -36,4 +36,6 @@ package() { mkdir $pkgdir/usr/lib/mujoco mv $pkgdir/usr/bin/* $pkgdir/usr/lib/mujoco/ rmdir $pkgdir/usr/bin + mkdir $pkgdir/usr/include/mujoco + mv $pkgdir/usr/include/*.h $pkgdir/usr/include/mujoco/ } |