update CONTRIBUTING.md (#1094)

Deducteam · Apr 24, 2024 · bc7e377 · bc7e377
1 parent cc2e8ba
commit bc7e377
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -78,7 +78,7 @@ following files:
 - `editors/emacs/lambdapi-smie.el` (grammar and indentation)
 - `editors/vscode/lp.configuration.json` (comments configuration),
 - `editors/vscode/syntaxes/lp.tmLanguage.json` (syntax highlighting),
-- `tools/listings.tex`
+- `misc/lambdapi.tex`
 - `doc/Makefile.bnf`
 - the User Manual files in the `doc/` repository