mirror of
https://github.com/nigels-com/glew.git
synced 2024-11-22 05:45:07 +00:00
Tidy-up for .gitattributes and update_ext.sh
This commit is contained in:
parent
ff92992cc5
commit
d32f4278e2
@ -19,8 +19,7 @@ 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
|
||||
|
Loading…
Reference in New Issue
Block a user