summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/doc/stex-doc.tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/doc/stex-doc.tex')
-rw-r--r--macros/latex/contrib/stex/doc/stex-doc.tex28
1 files changed, 14 insertions, 14 deletions
diff --git a/macros/latex/contrib/stex/doc/stex-doc.tex b/macros/latex/contrib/stex/doc/stex-doc.tex
index 8bd790dcb8..d2e8239083 100644
--- a/macros/latex/contrib/stex/doc/stex-doc.tex
+++ b/macros/latex/contrib/stex/doc/stex-doc.tex
@@ -1,5 +1,5 @@
\def\bibfolder{../lib/bib}
-\input{docheader}
+\input{stex-docheader}
\infulldoctrue
\ExplSyntaxOn
@@ -24,7 +24,7 @@
\pagenumbering{roman}
\maketitle
- \input{abstract}\bigskip
+ \input{stex-abstract}\bigskip
This is the full documentation of \sTeX. It
consists of four parts:
@@ -172,19 +172,19 @@
\DisableImplementation
-\DocInput{../source/stex/basics.dtx}
-\DocInput{../source/stex/mathhub.dtx}
-\DocInput{../source/stex/references.dtx}
-\DocInput{../source/stex/modules.dtx}
-\DocInput{../source/stex/inheritance.dtx}
-\DocInput{../source/stex/symbols.dtx}
-\DocInput{../source/stex/terms.dtx}
-\DocInput{../source/stex/features.dtx}
-\DocInput{../source/stex/statements.dtx}
-\DocInput{../source/stex/sproof.dtx}
+\DocInput{../source/stex/stex-basics.dtx}
+\DocInput{../source/stex/stex-mathhub.dtx}
+\DocInput{../source/stex/stex-references.dtx}
+\DocInput{../source/stex/stex-modules.dtx}
+\DocInput{../source/stex/stex-inheritance.dtx}
+\DocInput{../source/stex/stex-symbols.dtx}
+\DocInput{../source/stex/stex-terms.dtx}
+\DocInput{../source/stex/stex-features.dtx}
+\DocInput{../source/stex/stex-statements.dtx}
+\DocInput{../source/stex/stex-proofs.dtx}
-\OmitDocInput{../source/stex/others.dtx}
-\DocInput{../source/stex/metatheory.dtx}
+\OmitDocInput{../source/stex/stex-others.dtx}
+\DocInput{../source/stex/stex-metatheory.dtx}
\part{Extensions}\label{part:extensions}