%% %% 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 \ifx\OpMode\undefined \ExecuteOptions{dvips} \else \ExecuteOptions{vtex} \fi \endinput %% %% End of file `draftcopy.cfg'.