Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix runtime.ini path section header name #1440

Merged
10 commits merged into from
Mar 11, 2020
Merged
Prev Previous commit
Next Next commit
Update docs/guide/controller-programming.md
Co-Authored-By: Olivier Michel <Olivier.Michel@cyberbotics.com>
  • Loading branch information
remi-cyberbotics and omichel authored Mar 10, 2020
commit d7425606ff854008f0674f530e641c1228ea20cd
3 changes: 2 additions & 1 deletion docs/guide/controller-programming.md
Original file line number Diff line number Diff line change
Expand Up @@ -486,7 +486,8 @@ The Webots "runtime.ini" supports 7 sections:
absolute paths. Paths must be separated using the colon symbol ':' and directory components
must be separated using the slash symbol '/'. Variables declared in this section will be
added on every platform. On Windows, colons will be replaced by semicolon and
slash will be replaced by backslash according to the Windows syntax.<br>
slash will be replaced by backslash according to the Windows syntax.

**NOTE**: The legacy form of this section was ```[environment variables with relative path]```.
You are encouraged to follow the new notation, though the backward compability is kept.

Expand Down