diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/omdoc/omdoc.ins')
| -rw-r--r-- | Master/texmf-dist/source/latex/stex/omdoc/omdoc.ins | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Master/texmf-dist/source/latex/stex/omdoc/omdoc.ins b/Master/texmf-dist/source/latex/stex/omdoc/omdoc.ins index 41de5776ed6..74a42175afa 100644 --- a/Master/texmf-dist/source/latex/stex/omdoc/omdoc.ins +++ b/Master/texmf-dist/source/latex/stex/omdoc/omdoc.ins @@ -28,13 +28,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{omdoc.sty.ltxml}{\from{omdoc.dtx}{ltxml.sty}}} -\generate{\file{omdoc.cls.ltxml}{\from{omdoc.dtx}{ltxml.cls}}} - -\Msg{*} -\Msg{* You may need to move the generated ltxml files into a directory searched by LaTeXML.} -\Msg{*} - \endbatchfile |