#!/bin/sh PAGE=$1 ROOT=$2 sed "s,,,i;s,]*>,

,i;/<\/body>/,//d" $PAGE cat <<-FOOT

About GNOME · Download · Users · Developers · Foundation · Contact

Copyright © 2005-2009, The GNOME Project.
Maintained by the GNOME Foundation Board of Directors and Membership Committee.
Optimised for standards. Hosted by Red Hat.

FOOT