diff options
Diffstat (limited to 'macros/latex/contrib/stex/source/stex/stex.ins')
-rw-r--r-- | macros/latex/contrib/stex/source/stex/stex.ins | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/macros/latex/contrib/stex/source/stex/stex.ins b/macros/latex/contrib/stex/source/stex/stex.ins new file mode 100644 index 0000000000..95ff248c0d --- /dev/null +++ b/macros/latex/contrib/stex/source/stex/stex.ins @@ -0,0 +1,46 @@ + %% +%% 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{basics.dtx}{cls}} + \file{stex.sty}{ + \from{basics.dtx}{package} + \from{mathhub.dtx}{package} + \from{references.dtx}{package} + \from{modules.dtx}{package} + \from{inheritance.dtx}{package} + \from{symbols.dtx}{package} + \from{terms.dtx}{package} + \from{features.dtx}{package} + \from{statements.dtx}{package} + \from{sproof.dtx}{package} + % ... + \from{others.dtx}{package} + \from{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 |