summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/source/stex/stex.ins
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/source/stex/stex.ins')
-rw-r--r--macros/latex/contrib/stex/source/stex/stex.ins46
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