From cf868740c3d18ee9ce9a6b38dd617784625a3cae Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Wed, 9 Jan 2019 15:32:52 -0800
Subject: Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg
 files and inserting it into the .rst files

---
 .gitattributes | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.gitattributes')

diff --git a/.gitattributes b/.gitattributes
index 260e3f96b6..415cabba3b 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -19,6 +19,7 @@
 *.dtd whitespace=blank-at-eol,tab-in-indent
 dune* whitespace=blank-at-eol,tab-in-indent
 *.dune whitespace=blank-at-eol,tab-in-indent
+*.edit_mlg whitespace=blank-at-eol,tab-in-indent
 *.el whitespace=blank-at-eol,tab-in-indent
 *.fake whitespace=blank-at-eol,tab-in-indent
 *.g whitespace=blank-at-eol,tab-in-indent
@@ -36,6 +37,7 @@ dune* whitespace=blank-at-eol,tab-in-indent
 *.mll whitespace=blank-at-eol,tab-in-indent
 *.mllib whitespace=blank-at-eol,tab-in-indent
 *.mlp whitespace=blank-at-eol,tab-in-indent
+*.mly whitespace=blank-at-eol,tab-in-indent
 *.mlpack whitespace=blank-at-eol,tab-in-indent
 *.nix whitespace=blank-at-eol,tab-in-indent
 *.nsh whitespace=blank-at-eol,tab-in-indent
-- 
cgit v1.2.3