summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/turnstile/turnstile-pt.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/turnstile/turnstile-pt.ins')
-rw-r--r--Master/texmf-dist/source/latex/turnstile/turnstile-pt.ins52
1 files changed, 52 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/turnstile/turnstile-pt.ins b/Master/texmf-dist/source/latex/turnstile/turnstile-pt.ins
new file mode 100644
index 00000000000..c7acb85a226
--- /dev/null
+++ b/Master/texmf-dist/source/latex/turnstile/turnstile-pt.ins
@@ -0,0 +1,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