Update .gitattributes

rzk-lang · Oct 1, 2023 · 0d194a1 · 0d194a1
1 parent aa61b93
commit 0d194a1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -1,3 +1,3 @@
-rzk/grammar/Syntax.cf linguist-language=grammar
+rzk/grammar/Syntax.cf linguist-language=EBNF linguist-detectable=true
 rzk/src/Language/Rzk/Syntax/* linguist-generated=true
-docs/** linguist-documentation
+docs/** linguist-documentation=true