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.ins26
1 files changed, 13 insertions, 13 deletions
diff --git a/macros/latex/contrib/stex/source/stex/stex.ins b/macros/latex/contrib/stex/source/stex/stex.ins
index 95ff248c0d..8d645b251b 100644
--- a/macros/latex/contrib/stex/source/stex/stex.ins
+++ b/macros/latex/contrib/stex/source/stex/stex.ins
@@ -18,21 +18,21 @@
\askforoverwritefalse
\generate{
- \file{stex.cls}{\from{basics.dtx}{cls}}
+ \file{stex.cls}{\from{stex-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{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{others.dtx}{package}
- \from{metatheory.dtx}{package}
+ \from{stex-others.dtx}{package}
+ \from{stex-metatheory.dtx}{package}
}
}