# include headers
# mandatory
include		headers/dvi2.ps
# optional
includeif special	headers/special.ps
includeif color		headers/color.ps
includeif psifont	headers/psifont.ps
