diff --git a/.gitattributes b/.gitattributes index 95b62b81a5..0da40a5d33 100644 --- a/.gitattributes +++ b/.gitattributes @@ -8,4 +8,5 @@ /doc/dev export-ignore /util/** export-ignore /util/bindkeys.pl -export-ignore +/util/check-make-install.in -export-ignore /util/mksymtbl.pl -export-ignore