# -*-perl-*-
{
$PREST_DIR_FLAGS = q(-W nobackn=0);
%PREST_FILE_FLAGS =
(code09 => q(-D code-block-states-file=nosuchfile.rst),
code10 => q(-D code-block-states-file=nosuchfile.rst),
code11 => q(-D code-block-states-file=nosuchfile.rst),
code14 => q(-D code-block-states-file=nosuchfile.rst),
code15 => q(-D code-block-states-file=mkfile.st \
-D code-block-states-flags='-D specials="BIN_[A-Z]+"'),
);
}