# $Id: plain.pl,v 1.1.1.1 2001/07/03 19:02:23 nwalsh Exp $

# Set default display options (these settings override the settings
# in dtd2*, and may subsequently be overridden by command line options.
#

# you can reassign options here to override default values...
$option{'synopsis'} = 1;

1;
