#!/bin/sh

for i in $*
do
	echo "Reprototyping ... $i"
	deproto $i
	proto $i
done
