summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/source
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-02-27 03:01:13 +0000
committerNorbert Preining <norbert@preining.info>2022-02-27 03:01:13 +0000
commita911d39178540078c8ff5bc880418478d7433c40 (patch)
treef23b6a0f6bf9f548e7e43cf2405e864eba99b21e /macros/latex/contrib/stex/source
parent740a11f29a3551babe3d7edbb57ac3baa2280a3f (diff)
CTAN sync 202202270301
Diffstat (limited to 'macros/latex/contrib/stex/source')
-rw-r--r--macros/latex/contrib/stex/source/extensions/Makefile2
-rw-r--r--macros/latex/contrib/stex/source/extensions/document-structure.dtx10
-rw-r--r--macros/latex/contrib/stex/source/extensions/hwexam.dtx8
-rw-r--r--macros/latex/contrib/stex/source/extensions/notesslides.dtx18
-rw-r--r--macros/latex/contrib/stex/source/extensions/problem.dtx8
-rw-r--r--macros/latex/contrib/stex/source/extensions/stex-extensions.ins (renamed from macros/latex/contrib/stex/source/extensions/extensions.ins)0
-rw-r--r--macros/latex/contrib/stex/source/extensions/tikzinput.dtx8
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-basics.dtx (renamed from macros/latex/contrib/stex/source/stex/basics.dtx)8
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-features.dtx (renamed from macros/latex/contrib/stex/source/stex/features.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-inheritance.dtx (renamed from macros/latex/contrib/stex/source/stex/inheritance.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-mathhub.dtx (renamed from macros/latex/contrib/stex/source/stex/mathhub.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-metatheory.dtx (renamed from macros/latex/contrib/stex/source/stex/metatheory.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-modules.dtx (renamed from macros/latex/contrib/stex/source/stex/modules.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-others.dtx (renamed from macros/latex/contrib/stex/source/stex/others.dtx)3
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-proofs.dtx (renamed from macros/latex/contrib/stex/source/stex/sproof.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-references.dtx (renamed from macros/latex/contrib/stex/source/stex/references.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-statements.dtx (renamed from macros/latex/contrib/stex/source/stex/statements.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-symbols.dtx (renamed from macros/latex/contrib/stex/source/stex/symbols.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-terms.dtx (renamed from macros/latex/contrib/stex/source/stex/terms.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex.ins26
20 files changed, 65 insertions, 66 deletions
diff --git a/macros/latex/contrib/stex/source/extensions/Makefile b/macros/latex/contrib/stex/source/extensions/Makefile
index 6a6b18a4c8..67f1356953 100644
--- a/macros/latex/contrib/stex/source/extensions/Makefile
+++ b/macros/latex/contrib/stex/source/extensions/Makefile
@@ -1,6 +1,6 @@
DTX = $(shell ls *.dtx)
DOC = $(DTX:%.dtx=%.pdf)
-INS = extensions.ins
+INS = stex-extensions.ins
PDFLATEX = pdflatex -interaction=batchmode
TEXDIR = ../../tex
diff --git a/macros/latex/contrib/stex/source/extensions/document-structure.dtx b/macros/latex/contrib/stex/source/extensions/document-structure.dtx
index 80c95d643b..6db3bf4d7c 100644
--- a/macros/latex/contrib/stex/source/extensions/document-structure.dtx
+++ b/macros/latex/contrib/stex/source/extensions/document-structure.dtx
@@ -10,7 +10,7 @@
%
%<*driver>
\def\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/document-structure}
+% \input{../../doc/packages/stex-document-structure}
% \fi
%
%
@@ -293,7 +293,7 @@
% \begin{macrocode}
%<*cls>
%<@@=document_structure>
-\ProvidesExplClass{document-structure}{2022/02/24}{3.0.0}{Modular Document Structure Class}
+\ProvidesExplClass{document-structure}{2022/02/26}{3.0.1}{Modular Document Structure Class}
\RequirePackage{l3keys2e}
% \end{macrocode}
%
@@ -377,7 +377,7 @@
%
% \begin{macrocode}
%<*package>
-\ProvidesExplPackage{document-structure}{2022/02/24}{3.0.0}{Modular Document Structure}
+\ProvidesExplPackage{document-structure}{2022/02/26}{3.0.1}{Modular Document Structure}
\RequirePackage{l3keys2e}
% \end{macrocode}
%
@@ -414,7 +414,7 @@
\ltx@ifpackageloaded{babel}{
\clist_set:Nx \l_tmpa_clist {\bbl@loaded}
\clist_if_in:NnT \l_tmpa_clist {ngerman}{
- \makeatletter\input{omdoc-ngerman.ldf}\makeatother
+ \makeatletter\input{document-structure-ngerman.ldf}\makeatother
}
}{}
}
diff --git a/macros/latex/contrib/stex/source/extensions/hwexam.dtx b/macros/latex/contrib/stex/source/extensions/hwexam.dtx
index 3136f488d7..2cc3a1bd5b 100644
--- a/macros/latex/contrib/stex/source/extensions/hwexam.dtx
+++ b/macros/latex/contrib/stex/source/extensions/hwexam.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\def\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -41,7 +41,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/hwexam}
+% \input{../../doc/packages/stex-hwexam}
% \fi
%
% \begin{documentation}
@@ -169,7 +169,7 @@
% \begin{macrocode}
%<@@=hwexam>
%<*cls>
-\ProvidesExplClass{hwexam}{2022/02/24}{3.0.0}{homework assignments and exams}
+\ProvidesExplClass{hwexam}{2022/02/26}{3.0.1}{homework assignments and exams}
\RequirePackage{l3keys2e}
\DeclareOption*{
\PassOptionsToClass{\CurrentOption}{document-structure}
@@ -218,7 +218,7 @@
%
% \begin{macrocode}
%<*package>
-\ProvidesExplPackage{hwexam}{2022/02/24}{3.0.0}{homework assignments and exams}
+\ProvidesExplPackage{hwexam}{2022/02/26}{3.0.1}{homework assignments and exams}
\RequirePackage{l3keys2e}
\newif\iftest\testfalse
diff --git a/macros/latex/contrib/stex/source/extensions/notesslides.dtx b/macros/latex/contrib/stex/source/extensions/notesslides.dtx
index a6ff395377..d99109ee22 100644
--- a/macros/latex/contrib/stex/source/extensions/notesslides.dtx
+++ b/macros/latex/contrib/stex/source/extensions/notesslides.dtx
@@ -12,7 +12,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -40,7 +40,7 @@
% \def\mathml{{\scshape{MathML}}\xspace}
% \def\omdoc{OMDoc\xspace}
% \def\activemath{{\scshape{ActiveMath}}\xspace}
-% \def\textwarning{\includegraphics[width=1.2em]{dangerous-bend}\xspace}
+% \def\textwarning{\includegraphics[width=1.2em]{stex-dangerous-bend}\xspace}
%
% \title{NotesSlides -- Slides and Course Notes\thanks{Version {\fileversion}
% (last revised {\filedate})}}
@@ -55,7 +55,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/slides}
+% \input{../../doc/packages/stex-slides}
% \fi
%
% \begin{documentation}\label{pkg:notesslides:doc}
@@ -296,7 +296,7 @@
% \begin{macrocode}
%<*cls>
%<@@=notesslides>
-\ProvidesExplClass{notesslides}{2022/02/24}{3.0.0}{notesslides Class}
+\ProvidesExplClass{notesslides}{2022/02/26}{3.0.1}{notesslides Class}
\RequirePackage{l3keys2e}
\keys_define:nn{notesslides / cls}{
@@ -328,7 +328,7 @@
% now we do the same for the |notesslides| package.
% \begin{macrocode}
%<*package>
-\ProvidesExplPackage{notesslides}{2022/02/24}{3.0.0}{notesslides Package}
+\ProvidesExplPackage{notesslides}{2022/02/26}{3.0.1}{notesslides Package}
\RequirePackage{l3keys2e}
\keys_define:nn{notesslides / pkg}{
@@ -682,7 +682,7 @@
% \begin{macrocode}
\def\copyrightnotice{\footnotesize\copyright :\hspace{.3ex}{\source}}
\newsavebox{\cclogo}
-\sbox{\cclogo}{\includegraphics[height=\slidelogoheight]{cc_somerights}}
+\sbox{\cclogo}{\includegraphics[height=\slidelogoheight]{stex-cc_somerights}}
\newif\ifcchref\cchreffalse
\AtBeginDocument{
\@ifpackageloaded{hyperref}{\cchreftrue}{\cchreffalse}
@@ -812,17 +812,17 @@
% as the macro can be used quite often we put it into a box register, so that it is only
% loaded once.
% \begin{macrocode}
-\pgfdeclareimage[width=.8em]{miko@small@dbend}{dangerous-bend}
+\pgfdeclareimage[width=.8em]{miko@small@dbend}{stex-dangerous-bend}
\def\smalltextwarning{
\pgfuseimage{miko@small@dbend}
\xspace
}
-\pgfdeclareimage[width=1.2em]{miko@dbend}{dangerous-bend}
+\pgfdeclareimage[width=1.2em]{miko@dbend}{stex-dangerous-bend}
\newrobustcmd\textwarning{
\raisebox{-.05cm}{\pgfuseimage{miko@dbend}}
\xspace
}
-\pgfdeclareimage[width=2.5em]{miko@big@dbend}{dangerous-bend}
+\pgfdeclareimage[width=2.5em]{miko@big@dbend}{stex-dangerous-bend}
\newrobustcmd\bigtextwarning{
\raisebox{-.05cm}{\pgfuseimage{miko@big@dbend}}
\xspace
diff --git a/macros/latex/contrib/stex/source/extensions/problem.dtx b/macros/latex/contrib/stex/source/extensions/problem.dtx
index b21b1c493d..ee7d116fcb 100644
--- a/macros/latex/contrib/stex/source/extensions/problem.dtx
+++ b/macros/latex/contrib/stex/source/extensions/problem.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\def\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\RequirePackage[hints,solutions,notes]{problem}
\begin{document}
@@ -41,7 +41,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/problem}
+% \input{../../doc/packages/stex-problem}
% \fi
%
% \begin{documentation}
@@ -258,8 +258,8 @@
% \begin{macrocode}
%<*package>
%<@@=problems>
-\ProvidesExplPackage{problem}{2022/02/24}{3.0.0}{Semantic Markup for Problems}
-\RequirePackage{l3keys2e}
+\ProvidesExplPackage{problem}{2022/02/26}{3.0.1}{Semantic Markup for Problems}
+\RequirePackage{l3keys2e,stex}
\keys_define:nn { problem / pkg }{
notes .default:n = { true },
diff --git a/macros/latex/contrib/stex/source/extensions/extensions.ins b/macros/latex/contrib/stex/source/extensions/stex-extensions.ins
index e3594e88cf..e3594e88cf 100644
--- a/macros/latex/contrib/stex/source/extensions/extensions.ins
+++ b/macros/latex/contrib/stex/source/extensions/stex-extensions.ins
diff --git a/macros/latex/contrib/stex/source/extensions/tikzinput.dtx b/macros/latex/contrib/stex/source/extensions/tikzinput.dtx
index 51a3a7c06a..f183a6e4fa 100644
--- a/macros/latex/contrib/stex/source/extensions/tikzinput.dtx
+++ b/macros/latex/contrib/stex/source/extensions/tikzinput.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/tikzinput}
+% \input{../../doc/packages/stex-tikzinput}
% \fi
%
% \begin{documentation}\label{pkg:tikzinput:doc}
@@ -58,7 +58,7 @@
% \end{macrocode}
%
% \begin{macrocode}
-\ProvidesExplPackage{tikzinput}{2022/02/24}{3.0.0}{tikzinput package}
+\ProvidesExplPackage{tikzinput}{2022/02/26}{3.0.1}{tikzinput package}
\RequirePackage{l3keys2e}
\keys_define:nn { tikzinput } {
@@ -121,7 +121,7 @@
% \end{macrocode}
%
% \begin{macrocode}
-\ProvidesExplPackage{stex-tikzinput}{2022/02/24}{3.0.0}{stex-tikzinput}
+\ProvidesExplPackage{stex-tikzinput}{2022/02/26}{3.0.1}{stex-tikzinput}
\RequirePackage{stex}
\RequirePackage{tikzinput}
diff --git a/macros/latex/contrib/stex/source/stex/basics.dtx b/macros/latex/contrib/stex/source/stex/stex-basics.dtx
index c2047a39a2..37c55822d8 100644
--- a/macros/latex/contrib/stex/source/stex/basics.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-basics.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -43,7 +43,7 @@
% and abstractions for |xhtml| annotations.
%
%\ifinfulldoc\else
-% \input{../../doc/packages/basics}
+% \input{../../doc/packages/stex-basics}
% \fi
%
%
@@ -150,7 +150,7 @@
%%%%%%%%%%%%% basics.dtx %%%%%%%%%%%%%
\RequirePackage{expl3,l3keys2e}
-\ProvidesExplClass{stex}{2022/02/24}{3.0.0}{sTeX document class}
+\ProvidesExplClass{stex}{2022/02/26}{3.0.1}{sTeX document class}
\LoadClass[border=1px,varwidth]{standalone}
\setlength\textwidth{15cm}
@@ -169,7 +169,7 @@
%%%%%%%%%%%%% basics.dtx %%%%%%%%%%%%%
\RequirePackage{expl3,l3keys2e,ltxcmds}
-\ProvidesExplPackage{stex}{2022/02/24}{3.0.0}{sTeX package}
+\ProvidesExplPackage{stex}{2022/02/26}{3.0.1}{sTeX package}
%\RequirePackage{morewrites}
%\RequirePackage{amsmath}
diff --git a/macros/latex/contrib/stex/source/stex/features.dtx b/macros/latex/contrib/stex/source/stex/stex-features.dtx
index 851af04984..27d8f88f95 100644
--- a/macros/latex/contrib/stex/source/stex/features.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-features.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/features}
+% \input{../../doc/packages/stex-features}
% \fi
%
% \begin{documentation}\label{pkg:features:doc}
diff --git a/macros/latex/contrib/stex/source/stex/inheritance.dtx b/macros/latex/contrib/stex/source/stex/stex-inheritance.dtx
index 692d7b952c..33c536c3a5 100644
--- a/macros/latex/contrib/stex/source/stex/inheritance.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-inheritance.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -42,7 +42,7 @@
% Code related to Module Inheritance, in particular \emph{sms mode}.
%
%\ifinfulldoc\else
-% \input{../../doc/packages/inheritance}
+% \input{../../doc/packages/stex-inheritance}
%\fi
%
% \section{Macros and Environments}\label{pkg:inheritance:doc:macros}
diff --git a/macros/latex/contrib/stex/source/stex/mathhub.dtx b/macros/latex/contrib/stex/source/stex/stex-mathhub.dtx
index 16ff57ede8..20288212e3 100644
--- a/macros/latex/contrib/stex/source/stex/mathhub.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-mathhub.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -44,7 +44,7 @@
% files, file paths and related methods.
%
% \ifinfulldoc\else
-% \begin{sfragment}{Manual}\input{../../doc/packages/mathhub}\end{sfragment}
+% \begin{sfragment}{Manual}\input{../../doc/packages/stex-mathhub}\end{sfragment}
% \fi
%
% \section{Macros and Environments}\label{pkg:mathhub:doc:macros}
diff --git a/macros/latex/contrib/stex/source/stex/metatheory.dtx b/macros/latex/contrib/stex/source/stex/stex-metatheory.dtx
index a477e67f63..b7e32c23e9 100644
--- a/macros/latex/contrib/stex/source/stex/metatheory.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-metatheory.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/metatheory}
+% \input{../../doc/packages/stex-metatheory}
% \fi
%
% \begin{documentation}\label{pkg:metatheory:doc}
diff --git a/macros/latex/contrib/stex/source/stex/modules.dtx b/macros/latex/contrib/stex/source/stex/stex-modules.dtx
index f345e3066b..d5c10964de 100644
--- a/macros/latex/contrib/stex/source/stex/modules.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-modules.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -42,7 +42,7 @@
% This sub package contains code related to Modules
%
% \ifinfulldoc\else
-% \input{../../doc/packages/modules}
+% \input{../../doc/packages/stex-modules}
% \fi
%
% \section{Macros and Environments}\label{pkg:modules:doc:macros}
diff --git a/macros/latex/contrib/stex/source/stex/others.dtx b/macros/latex/contrib/stex/source/stex/stex-others.dtx
index 1905079a9c..96d79939af 100644
--- a/macros/latex/contrib/stex/source/stex/others.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-others.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -32,7 +32,6 @@
%
% \begin{documentation}\label{pkg:finally:doc}
%
-%
% \end{documentation}
%
% \begin{implementation}\label{pkg:finally:impl}
diff --git a/macros/latex/contrib/stex/source/stex/sproof.dtx b/macros/latex/contrib/stex/source/stex/stex-proofs.dtx
index f3cbdb869a..c4bf4e48fb 100644
--- a/macros/latex/contrib/stex/source/stex/sproof.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-proofs.dtx
@@ -11,7 +11,7 @@
% \iffalse
%<*driver>
\def\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -38,7 +38,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/sproofs}
+% \input{../../doc/packages/stex-proofs}
% \fi
%
% \begin{documentation}
diff --git a/macros/latex/contrib/stex/source/stex/references.dtx b/macros/latex/contrib/stex/source/stex/stex-references.dtx
index 3153eeabab..ad94bbedb3 100644
--- a/macros/latex/contrib/stex/source/stex/references.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-references.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -42,7 +42,7 @@
% This sub package contains code related to links and cross-references
%
%\ifinfulldoc\else
-% \input{../../doc/packages/references}
+% \input{../../doc/packages/stex-references}
% \fi
%
% \section{Macros and Environments}\label{pkg:sref:doc:macros}
diff --git a/macros/latex/contrib/stex/source/stex/statements.dtx b/macros/latex/contrib/stex/source/stex/stex-statements.dtx
index 3ddeca0dbd..83e2fbf92b 100644
--- a/macros/latex/contrib/stex/source/stex/statements.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-statements.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/statements}
+% \input{../../doc/packages/stex-statements}
% \fi
%
% \begin{documentation}\label{pkg:statements:doc}
diff --git a/macros/latex/contrib/stex/source/stex/symbols.dtx b/macros/latex/contrib/stex/source/stex/stex-symbols.dtx
index da633e1be3..a8b88cfe72 100644
--- a/macros/latex/contrib/stex/source/stex/symbols.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-symbols.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/symbols}
+% \input{../../doc/packages/stex-symbols}
% \fi
%
% \begin{documentation}\label{pkg:symbols:doc}
diff --git a/macros/latex/contrib/stex/source/stex/terms.dtx b/macros/latex/contrib/stex/source/stex/stex-terms.dtx
index 94a71d0208..9322a2411a 100644
--- a/macros/latex/contrib/stex/source/stex/terms.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-terms.dtx
@@ -11,7 +11,7 @@
%
%<*driver>
\providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
\begin{document}
\DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
% see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
% \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
%
-% \input{../../doc/packages/terms}
+% \input{../../doc/packages/stex-terms}
% \fi
%
% \begin{documentation}\label{pkg:terms:doc}
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}
}
}