diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..239111c --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +* eol=lf \ No newline at end of file diff --git a/auto/bin/update_ext.sh b/auto/bin/update_ext.sh index 9ba9c74..b27c8cf 100755 --- a/auto/bin/update_ext.sh +++ b/auto/bin/update_ext.sh @@ -19,7 +19,8 @@ if [ ! -d $1 ] ; then mkdir -p $1 # Parse each of the extensions in the registry - find $2 -name doc -type d -prune -o -name \*.txt -print | \ + find $2 -name doc -type d -prune -o -name \ + "*.txt" -print | \ grep -v -f $3 | sort | bin/parse_spec.pl $1 fi