summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/sproof.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/sproof.ins')
-rw-r--r--Master/texmf-dist/source/latex/stex/sproof.ins38
1 files changed, 0 insertions, 38 deletions
diff --git a/Master/texmf-dist/source/latex/stex/sproof.ins b/Master/texmf-dist/source/latex/stex/sproof.ins
deleted file mode 100644
index 639af148fdc..00000000000
--- a/Master/texmf-dist/source/latex/stex/sproof.ins
+++ /dev/null
@@ -1,38 +0,0 @@
-%%
-%% 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{*}
-
-\nopreamble\nopostamble
-\generate{\file{sproof.sty.ltxml}{\from{sproof.dtx}{ltxml}}}
-
-\Msg{*}
-\Msg{* You probably need to move the generated ltxml files into a directory searched by LaTeXML.}
-\Msg{*}
-
-\endbatchfile