Merge branch 'develop' of https://github.com/nasa/astrobee into develop

nasa · Dec 1, 2021 · 2010869 · 2010869
2 parents 5000bb5 + 784f0cb
commit 2010869
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/doc/general_documentation/INSTALL.md b/doc/general_documentation/INSTALL.md
@@ -102,6 +102,10 @@ of turning on and off options. To see which options are supported, simply run
     source ~/.bashrc
     popd
 
+The configure script modifies your ``.bashrc`` to source ``setup.bash`` for 
+the current ROS distribution and to set CMAKE_PREFIX_PATH. It is suggested
+to examine it and see if all changes were made correctly.
+
 If you want to explicitly specify the workspace and install directories, use
 instead:
 

diff --git a/doc/general_documentation/NASA_INSTALL.md b/doc/general_documentation/NASA_INSTALL.md
@@ -173,6 +173,10 @@ of turning on and off options. To see which options are supported, simply run
     source ~/.bashrc
     popd
 
+The configure script modifies your ``.bashrc`` to source ``setup.bash`` for 
+the current ROS distribution and to set CMAKE_PREFIX_PATH. It is suggested
+to examine it and see if all changes were made correctly.
+
 If you want to explicitly specify the workspace and/or install directories, use
 instead: