#!/bin/sh
#
#  Rrn pat file..
#
# Rename some files, and also change the names within the Makefile

P=$1; shift
R=$1; shift

rename "s/$P/$R/" $*

Rp "$P" "$R" Makefile

