diff options
Diffstat (limited to 'macros/latex/contrib/stex/source/stex/stex.ins')
-rw-r--r-- | macros/latex/contrib/stex/source/stex/stex.ins | 26 |
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} } } |