Pack mujoco

1 files changed, 2 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 9043721c73ef..d3467f929358 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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/
 }