diff --git a/doc/programming/index.rst b/doc/programming/index.rst index 36f5241f..53c2119c 100644 --- a/doc/programming/index.rst +++ b/doc/programming/index.rst @@ -120,8 +120,9 @@ Additionally, the CMake setup also implements an installation phase which will c target directory. Specify the directory using ``cmake $PATH_TO_CLONED_REPO -DCMAKE_INSTALL_PREFIX=``. After successfully building MuJoCo following the instructions above, you can install it using ``cmake --install .``. -As a reference, a working build configuration can be found in MuJoCo's -[continuous integration setup](https://github.com/deepmind/mujoco/blob/main/.github/workflows/build.yml) on GitHub. +.. tip:: + As a reference, a working build configuration can be found in MuJoCo's + `continuous integration setup `_ on GitHub. .. _inHeader: