#!/bin/sh
#
#  RPM doesn't handle multiple source files with the same name (manual.tar.gz), so
#  we download and rename them here.  While we're at it, keep my SOURCES directory
#  from being cluttered by prefixing their names with "php-".
#
for lang in $@ ; do
	wget http://www.php.net/manual/${lang}/manual.tar.gz -O php-manual-${lang}.tar.gz
done
