diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins |
Initial commit
Diffstat (limited to 'macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins')
-rw-r--r-- | macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins b/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins new file mode 100644 index 0000000000..3787af6cb0 --- /dev/null +++ b/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins @@ -0,0 +1,50 @@ +%% +%% Copyright (C) 2007 by .. +%% +%% This file will generate documentation and runtime files +%% from turnstile-en.dtx when run through LaTeX or TeX. +%% See copyright notice below. +%% +%% + +\input docstrip.tex +\keepsilent +\usedir{tex/latex/turnstile} + +\preamble + +This is a generated file. + +Copyright (C) 2007 by Arthur Buchsbaum and Francisco Reinaldo +<arthur@inf.ufsc.br>, <reinaldo.opus@gmail.com> + +This file may be distributed and/or modified under the conditions of +the LaTeX Project Public License, either version 1.2 of this license +or (at your option) any later version. The latest version of this +license is in: + + http://www.latex-project.org/lppl.txt + +and version 1.2 or later is part of all distributions of LaTeX version +1999/12/01 or later. + +\endpreamble +\askforoverwritefalse +\generate{\file{turnstile.sty}{\from{turnstile-en.dtx}{package}}} + +\obeyspaces +\Msg{*************************************************************} +\Msg{* *} +\Msg{* To finish the installation you have to move the following *} +\Msg{* file into a directory searched by TeX: *} +\Msg{* *} +\Msg{* turnstile.sty *} +\Msg{* *} +\Msg{* To produce the documentation run the file turnstile-en.dtx *} +\Msg{* through LaTeX. *} +\Msg{* *} +\Msg{* Happy TeXing! *} +\Msg{* *} +\Msg{*************************************************************} + +\endbatchfile |