diff options
Diffstat (limited to 'macros/generic/kastrup/binhex.ins')
-rw-r--r-- | macros/generic/kastrup/binhex.ins | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/macros/generic/kastrup/binhex.ins b/macros/generic/kastrup/binhex.ins new file mode 100644 index 0000000000..fc3322cd03 --- /dev/null +++ b/macros/generic/kastrup/binhex.ins @@ -0,0 +1,32 @@ +%% +%% This is file `binhex.ins', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% binhex.dtx (with options: `installer') +%% +%% IMPORTANT NOTICE: +%% +%% For the copyright see the source file. +%% +%% Any modified versions of this file must be renamed +%% with new filenames distinct from binhex.ins. +%% +%% For distribution of the original source see the terms +%% for copying and modification in the file binhex.dtx. +%% +%% 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.) + \input docstrip + \generate{ + \file{binhex.drv}{\from{binhex.dtx}{driver}} + \usedir{tex/generic/misc} + \file{binhex.tex}{\from{binhex.dtx}{style}} + } + \endbatchfile +\endinput +%% +%% End of file `binhex.ins'. |