Fix docs for using make.py (#2181)

This commit is contained in:
Aleksey Shvayka 2019-05-29 21:51:20 +03:00 committed by Leo Balter
parent dce80ecde1
commit 8cc85b875d
1 changed files with 2 additions and 2 deletions

View File

@ -382,11 +382,11 @@ Generated files are managed using the `make.py` Python script located in the roo
And then issue the following command to create files:
make.py
./make.py
To remove all generated files:
make.py clean
./make.py clean
The executable located at `tools/generation/generator.py` offers additional control over the generation procedure.