fetch   [plain text]


#!/bin/sh -f
for i in $*
do
	i=`echo $i | sed -e 's/^rfc//' -e 's/\.txt$//'`
	fetch "http://www.ietf.org/rfc/rfc${i}.txt"
done