Clean gitattributes

.gitattributes

@@ -15,23 +15,8 @@ Changelog merge=union
 * check-eoleof check-utf8
 
 # note: unset "-check-eoleof" and "-check-utf8" for "binary"
-*.ico binary -check-eoleof -check-utf8
-*.icns binary -check-eoleof -check-utf8
-
-*.eps binary -check-eoleof -check-utf8
-*.ps  binary -check-eoleof -check-utf8
-*.gif binary -check-eoleof -check-utf8
-*.jpg binary -check-eoleof -check-utf8
-*.png binary -check-eoleof -check-utf8
-*.svg binary -check-eoleof -check-utf8
-
-*.odg binary -check-eoleof -check-utf8
-*.pdf binary -check-eoleof -check-utf8
-
 *.gz binary -check-eoleof -check-utf8
-
-*.eot binary -check-eoleof -check-utf8
-*.woff binary -check-eoleof -check-utf8
+*.svg binary -check-eoleof -check-utf8
 
 ###########################################
 # CHECK-SYNTAX/INDENT/EOL-EOF: set/-unset #
@@ -50,22 +35,12 @@ Changelog merge=union
 dune-project header_spec=CEA_LGPL_OR_PROPRIETARY.META
 dune header_spec=CEA_LGPL_OR_PROPRIETARY.META
 
-makefile* header_spec=CEA_LGPL_OR_PROPRIETARY.META
 Make* header_spec=CEA_LGPL_OR_PROPRIETARY.META
-*.mk header_spec=CEA_LGPL_OR_PROPRIETARY.META
 
 *.ml header_spec=CEA_LGPL_OR_PROPRIETARY.META
-*.ml.in header_spec=CEA_LGPL_OR_PROPRIETARY.META
 *.mli header_spec=CEA_LGPL_OR_PROPRIETARY.META
-*.mli.in header_spec=CEA_LGPL_OR_PROPRIETARY.META
-*.mll header_spec=CEA_LGPL_OR_PROPRIETARY.META
-*.mly header_spec=CEA_LGPL_OR_PROPRIETARY.META
 
-*.sh header_spec=CEA_LGPL_OR_PROPRIETARY.META
-
-*.tex  header_spec=CEA_LGPL_OR_PROPRIETARY.META
 *.txt  header_spec=CEA_LGPL_OR_PROPRIETARY.META
-
 *.why  header_spec=CEA_LGPL_OR_PROPRIETARY.META
 
 /share/run.pl header_spec=CEA_LGPL_OR_PROPRIETARY.META
@@ -91,39 +66,46 @@ Make* header_spec=CEA_LGPL_OR_PROPRIETARY.META
 # Binaries
 
 *.gz header_spec=.ignore
-*.jpg header_spec=.ignore
 *.svg header_spec=.ignore
-*.pdf header_spec=.ignore
 
-# Text
-
-.gitattributes header_spec=.ignore
-.gitignore header_spec=.ignore
-.gitkeep header_spec=.ignore
-.git-blame-ignore-revs header_spec=.ignore
-.gitlab-ci.yml header_spec=.ignore
-
-.merlin header_spec=.ignore
-
-.ocp-indent header_spec=.ignore
+# CI
 
+/.gitlab-ci.yml header_spec=.ignore
+/nix/ci.sh  header_spec=.ignore
 *.nix header_spec=.ignore
-*.cls header_spec=.ignore
-*.opam* header_spec=.ignore
-README* header_spec=.ignore
 
-ci.sh  header_spec=.ignore
+# Doc
+
 CHANGELOG.md header_spec=.ignore
 LICENSE header_spec=.ignore
 SETLOG_LICENSE header_spec=.ignore
+README* header_spec=.ignore
 TODO.md header_spec=.ignore
 VERSION header_spec=.ignore
-why3session.xml header_spec=.ignore
+
+# Git
+
+.gitattributes header_spec=.ignore
+.gitignore header_spec=.ignore
+.git-blame-ignore-revs header_spec=.ignore
+
+# Headers
 
 /headers/open-source/* header_spec=.ignore
 /headers/close-source/* header_spec=.ignore
 
-/tests/**/* header_spec=.ignore
+# OCaml
+
+.merlin header_spec=.ignore
+.ocp-indent header_spec=.ignore
+*.opam* header_spec=.ignore
+
+# Proofs
 
-/case_studies/**/* header_spec=.ignore
 /proofs/meta_model/**/*.v header_spec=.ignore
+why3session.xml header_spec=.ignore
+
+# Tests
+
+/case_studies/**/* header_spec=.ignore
+/tests/**/* header_spec=.ignore