#! /bin/sh

# Modify $LINUXDOC for location of linuxdoc-sgml tree

LINUXDOC=/usr/skunk/lib/linuxdoc-sgml

LIB=$LINUXDOC/lib
sed -f $LIB/prehtml.sed