From ec01a253f902ed2f3a963998b1df5a81974bb2ab Mon Sep 17 00:00:00 2001
From: Jose Luis Blanco-Claraco <joseluisblancoc@gmail.com>
Date: Thu, 22 Jun 2023 15:34:38 +0200
Subject: [PATCH] pydocs: add ros module

---
 python/build-pydocs-from-local-build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/build-pydocs-from-local-build.sh b/python/build-pydocs-from-local-build.sh
index 868993d8e0..12e1d9d62e 100755
--- a/python/build-pydocs-from-local-build.sh
+++ b/python/build-pydocs-from-local-build.sh
@@ -2,6 +2,7 @@
 
 mods="\
     mrpt \
+    mrpt.ros_bridge \
     mrpt.pymrpt \
     mrpt.pymrpt.mrpt \
     mrpt.pymrpt.mrpt.apps \