blob: fc3322cd03953b09ed3214589bbb81d6e350c04c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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'.
|
