diff options
author | Karl Berry <karl@freefriends.org> | 2008-06-11 18:56:22 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-06-11 18:56:22 +0000 |
commit | 4b6e65a6eefbcce67e3ead7a742ce9e127ebf7f7 (patch) | |
tree | e2465fab2c24ea87bcd8c392190f302ab002fa52 /Master/texmf-dist/source/generic/kastrup/binhex.ins | |
parent | ca252b983fae9d65ac7d8a252b94a0b7f73eec6f (diff) |
kastrup update
git-svn-id: svn://tug.org/texlive/trunk@8679 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/generic/kastrup/binhex.ins')
-rw-r--r-- | Master/texmf-dist/source/generic/kastrup/binhex.ins | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/Master/texmf-dist/source/generic/kastrup/binhex.ins b/Master/texmf-dist/source/generic/kastrup/binhex.ins deleted file mode 100644 index fc3322cd039..00000000000 --- a/Master/texmf-dist/source/generic/kastrup/binhex.ins +++ /dev/null @@ -1,32 +0,0 @@ -%% -%% 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'. |