diff options
| author | Jim Fehrle | 2019-01-09 15:32:52 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2019-07-19 09:50:31 -0700 |
| commit | cf868740c3d18ee9ce9a6b38dd617784625a3cae (patch) | |
| tree | 3786c67a8574ff6856f4ef53f7aaa9f263913a19 /.gitattributes | |
| parent | ba1bb7581a5ad0969d35911fffdf61f150e0536f (diff) | |
Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg files
and inserting it into the .rst files
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 2 |
1 files changed, 2 insertions, 0 deletions
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 |