summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/turnstile/turnstile-en.ins
blob: 3787af6cb05f351d7cf530634fa649c1613f8499 (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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
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