%% %% This file generates files required to use the ed package. %% At your command prompt write %% %% latex stex.ins %% %% Copyright (c) 2021 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 \keepsilent \askforoverwritefalse \generate{ \file{stex.cls}{\from{stex-basics.dtx}{cls}} \file{stex.sty}{ \from{stex-basics.dtx}{package} \from{stex-mathhub.dtx}{package} \from{stex-references.dtx}{package} \from{stex-modules.dtx}{package} \from{stex-inheritance.dtx}{package} \from{stex-symbols.dtx}{package} \from{stex-terms.dtx}{package} \from{stex-features.dtx}{package} \from{stex-statements.dtx}{package} \from{stex-proofs.dtx}{package} % ... \from{stex-others.dtx}{package} \from{stex-metatheory.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