#!/bin/sh

if [ -z $AWK ]; then AWK=awk; fi

echo $* | $AWK '
{ 
	while(sub("/\\./", "/") > 0 || sub("//", "/") > 0)
		;
	while(sub("/[^/.]+/\\.\\./", "/") > 0)
		;
	print $0
}
'

# old way:
#echo $1 | sed -e 's/\/\.\//\//' -e 's/\/\/\+/\//' 
