#! /bin/sh

# Expects to pick up LINUXDOC from the environment

sed -f $LINUXDOC/lib/prehtml.sed
