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