summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/sproof/sproof.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/sproof/sproof.ins')
-rw-r--r--Master/texmf-dist/source/latex/stex/sproof/sproof.ins8
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/texmf-dist/source/latex/stex/sproof/sproof.ins b/Master/texmf-dist/source/latex/stex/sproof/sproof.ins
index 639af148fdc..e5f5198021a 100644
--- a/Master/texmf-dist/source/latex/stex/sproof/sproof.ins
+++ b/Master/texmf-dist/source/latex/stex/sproof/sproof.ins
@@ -27,12 +27,4 @@
\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