summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/otherformats/texsis/base/Manual.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/otherformats/texsis/base/Manual.tex')
-rw-r--r--Master/texmf-dist/doc/otherformats/texsis/base/Manual.tex22
1 files changed, 22 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/otherformats/texsis/base/Manual.tex b/Master/texmf-dist/doc/otherformats/texsis/base/Manual.tex
new file mode 100644
index 00000000000..0b9f8fc9693
--- /dev/null
+++ b/Master/texmf-dist/doc/otherformats/texsis/base/Manual.tex
@@ -0,0 +1,22 @@
+%% file: Manual.tex (TeXsis version 2.17)
+% $Revision: 17.1 $ : $Date: 1997/07/08 22:09:47 $ : $Author: myers $
+%======================================================================*
+% TeXsis Manual -- This file prints the TeXsis manual.
+%
+% First we look to see if this is being run under TeXsis, or
+% Plain TeX. If \TeXsis is undefined then it must be Plain
+
+\ifx \TeXsis\undefined\relax
+ \input texsis \relax % read in TeXsis macros
+ \the\everyjob % start it up
+\fi
+
+% Now go read in the manual Master file. The manual files are TXS*.doc
+
+\input TXSdoc.doc % read the manual
+\bye
+
+
+
+
+