#! /bin/bash
sed -e "s|INTROOT|$INTROOT|" DocHeader.html > DocHeader.html.temp
