From 8cc85b875d24537f10b18ca97a242c6261a0bce6 Mon Sep 17 00:00:00 2001 From: Aleksey Shvayka Date: Wed, 29 May 2019 21:51:20 +0300 Subject: [PATCH] Fix docs for using make.py (#2181) --- CONTRIBUTING.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 6eb2b0ffbe..52f47dcbe1 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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.