From e38fb136e70c11072ce4ad80dfb983ba4bc91159 Mon Sep 17 00:00:00 2001
From: Yuval Tassa <tassa@google.com>
Date: Thu, 4 May 2023 13:50:31 -0700
Subject: [PATCH] Shorten title in Programming chapter.

PiperOrigin-RevId: 529505191
Change-Id: I148960357263ce874ec2099ffde63303e56eb52f
---
 doc/programming/index.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/programming/index.rst b/doc/programming/index.rst
index 53c2119c..0510bbb3 100644
--- a/doc/programming/index.rst
+++ b/doc/programming/index.rst
@@ -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: