diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/problem/problem.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/problem/problem.ins | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/texmf-dist/source/latex/stex/problem/problem.ins b/Master/texmf-dist/source/latex/stex/problem/problem.ins index 1ed30cedb91..5254c98da65 100644 --- a/Master/texmf-dist/source/latex/stex/problem/problem.ins +++ b/Master/texmf-dist/source/latex/stex/problem/problem.ins @@ -29,12 +29,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{problem.sty.ltxml}{\from{problem.dtx}{ltxml}}} - -\Msg{*} -\Msg{* You probably need to move the generated file problem.sty.ltxml into a directory searched by LaTeXML.} -\Msg{*} - \endbatchfile |