fix CONTRIBUTING.md

Deducteam · Jan 30, 2024 · ecf9067 · ecf9067
1 parent 1e967ad
commit ecf9067
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -79,10 +79,11 @@ following files:
 - `editors/vscode/lp.configuration.json` (comments configuration),
 - `editors/vscode/syntaxes/lp.tmLanguage.json` (syntax highlighting),
 - `tools/listings.tex`
-- `doc/Makefile`
+- `doc/Makefile.bnf`
 - the User Manual files in the `doc/` repository
 
-and do `make doc` for generating BNF grammars.
+and do `make bnf` to generate the BNF grammar,
+and `make doc` to generate the Sphynx documentation.
 
 **Note:** the `lambdapi.opam` file is generated by dune using the `dune-project`
 file, it _should not be edited manually_. It is still versioned because opam