Merge pull request #793 from tweag/nb/doc

doc: disambiguate `grammar.source.path` config option
tweag · Nov 26, 2024 · 4dcdc0a · 4dcdc0a
2 parents ba8a2e0 + d45bea8
commit 4dcdc0a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -563,11 +563,11 @@ nickel = {
 },
 ```
 
-To specify a prebuilt grammar, specify the `grammar.source.path` attribute:
+To specify a prebuilt grammar, specify the `grammar.source.path` attribute, which must point to a compiled grammar file:
 ```nickel
 nickel = {
   extensions = ["ncl"],
-  grammar.source.path = "/path/to/compiled/grammar/file",
+  grammar.source.path = "/path/to/compiled/grammar/file.so",
 },
 ```