no-manual-page [usr/bin/mujoco-basic]
no-manual-page [usr/bin/mujoco-compile]
no-manual-page [usr/bin/mujoco-dependencies]
no-manual-page [usr/bin/mujoco-record]
no-manual-page [usr/bin/mujoco-simulate]
no-manual-page [usr/bin/mujoco-testspeed]
