#! /bin/sh
# Depends: wget
mkdir -p "$HOME/misc/rfc"
cd "$HOME/misc/rfc"
[ -f "rfc$1.txt" ] || wget "http://www.ietf.org/rfc/rfc$1.txt"
${PAGER:-pager} "rfc$1.txt"