#!/bin/rc -e

p=`{cleanname -d `{pwd} $1}
n=`{echo $p | sed 's,\.orig,,'}
dir=`{basename -d $p}

if(! test -d /n/sources/plan9){
	rfork n
	9fs sources
}

if(test -e /n/sources/plan9$n)
	echo /n/sources/plan9$n: replacing existing file >[1=2]
mkdir -p /n/sources/plan9$dir
echo cp $p /n/sources/plan9$n
cp $p /n/sources/plan9$n