Shorten title in Programming chapter.

PiperOrigin-RevId: 529505191 Change-Id: I148960357263ce874ec2099ffde63303e56eb52f
2023-05-04 13:50:31 -07:00
parent 90813b8198
commit e38fb136e7
1 changed files with 2 additions and 2 deletions
@@ -99,8 +99,8 @@ provides an example for this.

 .. _inBuild:

-Building MuJoCo from source
-~~~~~~~~~~~~~~~~~~~~~~~~~~~
+Building from source
+~~~~~~~~~~~~~~~~~~~~

 To build MuJoCo from source, you will need CMake and a working C++17 compiler installed. The steps are: