From 88ec9b202e417a9eda48a3ca97c3cca2344359c7 Mon Sep 17 00:00:00 2001 From: Kevin Zakka Date: Thu, 4 May 2023 07:15:54 -0700 Subject: [PATCH] Fix link in documentation. PiperOrigin-RevId: 529400443 Change-Id: I696dac60ef6f421e9308097593c8afe883fe90e7 --- doc/programming/index.rst | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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: