Instructions updated to point to the correct directory for the installation script.
Q: should we just suggest a two-step installation? One with pip install + all the relevant flags, then optionally tell the user to run the installed bash command install_mujoco_from_src. If we change the instructions to say this, then there's no difference between the installation via pip or locally, which is a plus.
Instructions updated to point to the correct directory for the installation script.
Q: should we just suggest a two-step installation? One with
pip install+ all the relevant flags, then optionally tell the user to run the installed bash commandinstall_mujoco_from_src. If we change the instructions to say this, then there's no difference between the installation viapipor locally, which is a plus.