From 703a525bb4d180cd311b4ac510f72eb793e7f700 Mon Sep 17 00:00:00 2001
From: Servet Bora Bayraktar <64133410+serboba@users.noreply.github.com>
Date: Tue, 18 Jul 2023 16:59:19 +0200
Subject: [PATCH] Update getting_started_doc.rst

Renamed dependencies.rosintall to dependencies.repos.
---
 _source/intro/getting_started_doc.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_source/intro/getting_started_doc.rst b/_source/intro/getting_started_doc.rst
index 5e0779318..d8c5f2702 100644
--- a/_source/intro/getting_started_doc.rst
+++ b/_source/intro/getting_started_doc.rst
@@ -93,7 +93,7 @@ Cloning Source Dependencies with WSTool
 
 Clone the repositories in the dependencies.rosinstall file using wstool: ::
 
-  wstool init ~/tesseract_ws/src/ ~/tesseract_ws/src/tesseract_planning/dependencies.rosinstall
+  wstool init ~/tesseract_ws/src/ ~/tesseract_ws/src/tesseract_planning/dependencies.repos
 
 Installing Debian Dependencies with ROSDep (Optional)
 -----------------------------------------------------