summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
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/
}