%%
%% This is file `draftcopy.cfg',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% draftcopy.doc  (with options: `config')
%% 
%% IMPORTANT NOTICE:
%% 
%% For the copyright see the source file.
%% 
%% Any modified versions of this file must be renamed
%% with new filenames distinct from draftcopy.cfg.
%% 
%% For distribution of the original source see the terms
%% for copying and modification in the file draftcopy.doc.
%% 
%% This generated file may be distributed as long as the
%% original source files, as listed above, are part of the
%% same distribution. (The sources need not necessarily be
%% in the same archive or directory.)
\iffalse
\fi






\ExecuteOptions{dvips}

\endinput
%%
%% End of file `draftcopy.cfg'.
