summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/sty/sproof/sproof.ins
blob: e5f5198021ab8239f7387a709f30a6296040f061 (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
%%
%% This file generates files required to use the ed package.
%% At your command prompt write
%%
%%     latex sproof.ins
%%
%% Copyright(c) 2005 Michael Kohlhase
%%
%% This file is distributed under the terms of the LaTeX Project Public
%% License from CTAN archives in directory  macros/latex/base/lppl.txt.
%% Either version 1.0 or, at your option, any later version.
%%
\input docstrip
\preamble
\endpreamble

%\usedir{tex/latex/listings}
\keepsilent
\askforoverwritefalse

% generate base package
\generate{\file{sproof.sty}{\from{sproof.dtx}{package}}}

\Msg{*}
\Msg{* You probably need to move the generated style files into a directory searched by TeX.}
\Msg{*}
\Msg{* And don't forget to refresh your filename database}
\Msg{* if your TeX distribution uses such a database.}
\Msg{*}
\endbatchfile