From 878fe50b288d52eeda84be386a28fe3c6b029f30 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 7 Feb 2019 17:06:31 +0100
Subject: Enable whitespace checking for some forgotten files.

+ remove checker/.depend forgotten file
---
 .gitattributes | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to '.gitattributes')

diff --git a/.gitattributes b/.gitattributes
index 47538be4a3..fcfd795b2f 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -21,7 +21,10 @@ tools/CoqMakefile.in whitespace=blank-at-eol
 *.c whitespace=blank-at-eol,tab-in-indent
 *.css whitespace=blank-at-eol,tab-in-indent
 *.dtd whitespace=blank-at-eol,tab-in-indent
+dune* whitespace=blank-at-eol,tab-in-indent
+*.dune 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
 *.h whitespace=blank-at-eol,tab-in-indent
 *.html whitespace=blank-at-eol,tab-in-indent
@@ -32,12 +35,13 @@ tools/CoqMakefile.in whitespace=blank-at-eol
 *.md whitespace=blank-at-eol,tab-in-indent
 *.merlin whitespace=blank-at-eol,tab-in-indent
 *.ml whitespace=blank-at-eol,tab-in-indent
-*.ml4 whitespace=blank-at-eol,tab-in-indent
+*.mlg whitespace=blank-at-eol,tab-in-indent
 *.mli 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
 *.mlpack whitespace=blank-at-eol,tab-in-indent
+*.nix whitespace=blank-at-eol,tab-in-indent
 *.nsh whitespace=blank-at-eol,tab-in-indent
 *.nsi whitespace=blank-at-eol,tab-in-indent
 *.py whitespace=blank-at-eol,tab-in-indent
@@ -51,6 +55,10 @@ tools/CoqMakefile.in whitespace=blank-at-eol
 *.xml whitespace=blank-at-eol,tab-in-indent
 *.yml whitespace=blank-at-eol,tab-in-indent
 
+.gitattributes whitespace=blank-at-eol,tab-in-indent
+_CoqProject whitespace=blank-at-eol,tab-in-indent
+Dockerfile whitespace=blank-at-eol,tab-in-indent
+
 # CR is desired for these Windows files.
 *.bat whitespace=cr-at-eol,blank-at-eol,tab-in-indent
 
-- 
cgit v1.2.3