summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/generic/kastrup/binhex.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/generic/kastrup/binhex.ins')
-rw-r--r--Master/texmf-dist/source/generic/kastrup/binhex.ins32
1 files changed, 32 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/generic/kastrup/binhex.ins b/Master/texmf-dist/source/generic/kastrup/binhex.ins
new file mode 100644
index 00000000000..fc3322cd039
--- /dev/null
+++ b/Master/texmf-dist/source/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'.