#!/bin/sh -e

# This takes a list of rpms to convert to .deb files.  It puts them
# all under a debian-* directory under the current directory.
#
# Run this from the 'packaging' directory, just under rootdir

for file in "$@"; do
  fakeroot alien -c -k -v "$file"
done

echo
echo "The Debian package files are located in $PWD:"
ls *.deb