summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/turnstile/turnstile-pt/turnstile-pt.ins
blob: c7acb85a22605b03269b191849d917c00874d78f (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
51
52
%%
%% Copyright (C) 2007 by Arthur Buchsbaum and Francisco Reinaldo.
%%
%% Este arquivo gera documentacao e arquivos executaveis
%% a partir do turnstile-pt.dtx, atraves do LaTeX ou TeX.
%% Veja a nota de copyright abaixo.
%%
%%

\input docstrip.tex
\keepsilent
\usedir{tex/latex/turnstile}

\preamble

Este eh um arquivo gerado.

Copyright (C) 2007 by Arthur Buchsbaum and Francisco Reinaldo
<arthur@inf.ufsc.br>, <reinaldo.opus@gmail.com>



Este arquivo pode ser distribuido e/ou modificado sob as condicoes
da Licenca Publica do Projeto LaTeX, tanto a versao 1.2 desta licenca
ou (por sua opcao) qualquer versao anterior. A derradeira versao
desta licenca esta em:

   http://www.latex-project.org/lppl.txt

e a versao 1.2 ou anterior eh parte de todas as distribuicoes do LaTeX
versao 01/12/1999 ou anterior.

\endpreamble
\askforoverwritefalse
\generate{\file{turnstile.sty}{\from{turnstile-pt.dtx}{package}}}

\obeyspaces
\Msg{**************************************************************}
\Msg{*                                                            *}
\Msg{* Para terminar a instalacao, voce tem que mover o seguinte  *}
\Msg{* arquivo para um diretorio vasculhado por  TeX:             *}
\Msg{*                                                            *}
\Msg{*     turnstile.sty                                          *}
\Msg{*                                                            *}
\Msg{* Para gerar a documentacao, execute o arquivo turnstile-pt.dtx *}
\Msg{* com o LaTeX.                                               *}
\Msg{*                                                            *}
\Msg{* Feliz TeXing!                                              *}
\Msg{*                                                            *}
\Msg{**************************************************************}

\endbatchfile