docs: Spell out `./tools/run-dev.py` in setup instructions.

This location in the documentation, in particular, is one where it's likely
to be helpful to spell the full path to the command when explaining it.
This commit is contained in:
Dhruv Gupta 2023-01-31 04:02:53 +05:30 committed by GitHub
parent e2e39acbc4
commit 03c70cbed5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -450,7 +450,7 @@ automatically whenever you commit).
#### Understanding run-dev.py debugging output
It's good to have the terminal running `run-dev.py` up as you work since error
It's good to have the terminal running `./tools/run-dev.py` up as you work since error
messages including tracebacks along with every backend request will be printed
there.