glew/auto/bin/update_ext.sh

#!/bin/bash
##
## Copyright (C) 2002-2008, Marcelo E. Magallon <mmagallo[]debian org>
## Copyright (C) 2002-2008, Milan Ikits <milan ikits[]ieee org>
##
## This program is distributed under the terms and conditions of the GNU
## General Public License Version 2 as published by the Free Software
## Foundation or, at your option, any later version.
##
## Parameters:
##
##       $1: Extensions directory
##       $2: Registry directory
##       $3: The black list

set -e

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 | \
	grep -v -f $3 | sort | bin/parse_spec.pl $1 $4

fi