#!/bin/sh

SED=/bin/sed
WGET=/usr/bin/wget

NAME=`echo "$@" | tr ' ' '+'`
$WGET -q -O - http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=$NAME | $SED -ne '/<H1>/,/<FONT/{s/<[^>]*>//g;s/&lt;/</g;s/&gt;/>/g;p;}'