From e96776c901e5a6f804e85e221bda8ecf85c26dbe Mon Sep 17 00:00:00 2001
From: Kevin Zakka <zakka@google.com>
Date: Sat, 6 Aug 2022 13:57:13 -0700
Subject: [PATCH] Add documentation badge to README.

PiperOrigin-RevId: 465791060
Change-Id: I7d1266bea1b4d59f6ff7f112f35f14f2a62282b1
---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index 548a1d88..6490a62e 100644
--- a/README.md
+++ b/README.md
@@ -4,6 +4,9 @@
   <a href="https://github.com/deepmind/mujoco/actions/workflows/build.yml?query=branch%3Amain" alt="GitHub Actions">
     <img src="https://img.shields.io/github/workflow/status/deepmind/mujoco/build/main">
   </a>
+  <a href="https://mujoco.readthedocs.io/" alt="Documentation">
+    <img src="https://readthedocs.org/projects/mujoco/badge/?version=latest">
+  </a>
   <a href="https://github.com/deepmind/mujoco/blob/main/LICENSE" alt="License">
     <img src="https://img.shields.io/github/license/deepmind/mujoco">
   </a>