Juliano Cardoso / circusRefine

czt.ins 1.63 KB
edit raw blame history 
  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
 53
 54
 55
%% Copyright (C) 2008 Leo Freitas.
%% University of York All rights reserved.
%%
%% This is a generated file for Standard Z within the
%% Community Z Tools (CZT). It is based on the Object Z
%% package distribution.  Permission is granted to to
%% customize the declarations in this file to serve the
%% needs of your installation.  However, no permission
%% is granted to distribute a modified version of this
%% file under its original name.

\input docstrip.tex
\keepsilent

%% \usedir{tex/latex/stdz}
\usedir{./}

\preamble

This is a generated file

Copyright (C) 2008 Leo Freitas.
University of York All rights reserved.

This is a generated file for Standard Z within the
Community Z Tools (CZT). It is based on the Object Z
package distribution.  Permission is granted to to
customize the declarations in this file to serve the
needs of your installation.  However, no permission
is granted to distribute a modified version of this
file under its original name.

\endpreamble

\Msg{*** Generating style files for Standard Z ***}

\generate{\file{stdz.sty}{\from{stdz.dtx}{package}}}

\Msg{***********************************************************}
\Msg{*}
\Msg{* To finish the installation you have to move the}
\Msg{* following file into a directory searched by TeX:}
\Msg{*}
\Msg{* \space\space stdz.sty}
\Msg{*}
\Msg{* To produce documentation, run the file stdz.dtx}
\Msg{* through LaTeX.}
\Msg{*}
\Msg{* Happy TeXing!}
\Msg{*}
\Msg{* Please send comments or bug reports to}
\Msg{* leo@cs.york.ac.uk,  Thank you!}
\Msg{***********************************************************}

\endbatchfile