From 352abc726f514a0bbed7c0123bb3b0ebc66843be Mon Sep 17 00:00:00 2001 From: Tim Landscheidt Date: Sun, 25 Dec 2016 11:44:32 +0000 Subject: [PATCH] Do not ignore all .mli files in texvccheck The pattern "*.mli" was incorrectly added to texvccheck/.gitignore by 4c9dc2f08e03ad23e1e2f0cefc52ca6893fbe6a2 with the comment "Compiled source". As with d9a7da14f10f6c53bdf1a18febab030d48f0a960, .mli files define the interfaces for the corresponding .ml module and thus should not be ignored. The only exception to this is parser.mli which is generated by the ocamlyacc from the parser.mly definition, so this change only ignores those files. Change-Id: I263df70e58fb14a7228c32d5c985ff7f1b841891 --- math/.gitignore | 1 + texvccheck/.gitignore | 3 +-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/math/.gitignore b/math/.gitignore index 18dc1ad..9216c19 100644 --- a/math/.gitignore +++ b/math/.gitignore @@ -2,6 +2,7 @@ *.cmi *.cmx *.o +parser.mli # The binaries texvc diff --git a/texvccheck/.gitignore b/texvccheck/.gitignore index be7dcb9..3c1635a 100644 --- a/texvccheck/.gitignore +++ b/texvccheck/.gitignore @@ -1,9 +1,8 @@ # Compiled source -*.mli -!tex.mli *.cmi *.cmx *.o +parser.mli # The binaries texvccheck