Merge PR #9511: Enable whitespace checking for some forgotten files.

Reviewed-by: Zimmi48

2 files changed, 9 insertions, 59 deletions

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
 
diff --git a/checker/.depend b/checker/.depend
deleted file mode 100644
index 09ab6bdd13..0000000000
--- a/checker/.depend
+++ /dev/null
@@ -1,58 +0,0 @@
-checker.cmo: type_errors.cmi term.cmo safe_typing.cmi indtypes.cmi \
-    declarations.cmi check_stat.cmi check.cmo 
-checker.cmx: type_errors.cmx term.cmx safe_typing.cmx indtypes.cmx \
-    declarations.cmx check_stat.cmx check.cmx 
-check.cmo: safe_typing.cmi 
-check.cmx: safe_typing.cmx 
-check_stat.cmo: term.cmo safe_typing.cmi indtypes.cmi environ.cmo \
-    declarations.cmi check_stat.cmi 
-check_stat.cmx: term.cmx safe_typing.cmx indtypes.cmx environ.cmx \
-    declarations.cmx check_stat.cmi 
-closure.cmo: term.cmo environ.cmo closure.cmi 
-closure.cmx: term.cmx environ.cmx closure.cmi 
-closure.cmi: term.cmo environ.cmo 
-declarations.cmo: term.cmo declarations.cmi 
-declarations.cmx: term.cmx declarations.cmi 
-declarations.cmi: term.cmo 
-environ.cmo: term.cmo declarations.cmi 
-environ.cmx: term.cmx declarations.cmx 
-indtypes.cmo: typeops.cmi term.cmo reduction.cmi inductive.cmi environ.cmo \
-    declarations.cmi indtypes.cmi 
-indtypes.cmx: typeops.cmx term.cmx reduction.cmx inductive.cmx environ.cmx \
-    declarations.cmx indtypes.cmi 
-indtypes.cmi: typeops.cmi term.cmo environ.cmo declarations.cmi 
-inductive.cmo: type_errors.cmi term.cmo reduction.cmi environ.cmo \
-    declarations.cmi inductive.cmi 
-inductive.cmx: type_errors.cmx term.cmx reduction.cmx environ.cmx \
-    declarations.cmx inductive.cmi 
-inductive.cmi: term.cmo environ.cmo declarations.cmi 
-main.cmo: checker.cmo 
-main.cmx: checker.cmx 
-mod_checking.cmo: typeops.cmi term.cmo subtyping.cmi reduction.cmi modops.cmi \
-    inductive.cmi indtypes.cmi environ.cmo declarations.cmi 
-mod_checking.cmx: typeops.cmx term.cmx subtyping.cmx reduction.cmx modops.cmx \
-    inductive.cmx indtypes.cmx environ.cmx declarations.cmx 
-modops.cmo: term.cmo environ.cmo declarations.cmi modops.cmi 
-modops.cmx: term.cmx environ.cmx declarations.cmx modops.cmi 
-modops.cmi: term.cmo environ.cmo declarations.cmi 
-reduction.cmo: term.cmo environ.cmo closure.cmi reduction.cmi 
-reduction.cmx: term.cmx environ.cmx closure.cmx reduction.cmi 
-reduction.cmi: term.cmo environ.cmo 
-safe_typing.cmo: validate.cmo modops.cmi mod_checking.cmo environ.cmo \
-    declarations.cmi safe_typing.cmi 
-safe_typing.cmx: validate.cmx modops.cmx mod_checking.cmx environ.cmx \
-    declarations.cmx safe_typing.cmi 
-safe_typing.cmi: term.cmo environ.cmo declarations.cmi 
-subtyping.cmo: typeops.cmi term.cmo reduction.cmi modops.cmi inductive.cmi \
-    environ.cmo declarations.cmi subtyping.cmi 
-subtyping.cmx: typeops.cmx term.cmx reduction.cmx modops.cmx inductive.cmx \
-    environ.cmx declarations.cmx subtyping.cmi 
-subtyping.cmi: term.cmo environ.cmo declarations.cmi 
-type_errors.cmo: term.cmo environ.cmo type_errors.cmi 
-type_errors.cmx: term.cmx environ.cmx type_errors.cmi 
-type_errors.cmi: term.cmo environ.cmo 
-typeops.cmo: type_errors.cmi term.cmo reduction.cmi inductive.cmi environ.cmo \
-    declarations.cmi typeops.cmi 
-typeops.cmx: type_errors.cmx term.cmx reduction.cmx inductive.cmx environ.cmx \
-    declarations.cmx typeops.cmi 
-typeops.cmi: term.cmo environ.cmo declarations.cmi