diff options
Diffstat (limited to 'Master/texmf-dist/doc/texsis/base/Manual.tex')
-rw-r--r-- | Master/texmf-dist/doc/texsis/base/Manual.tex | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/texsis/base/Manual.tex b/Master/texmf-dist/doc/texsis/base/Manual.tex new file mode 100644 index 00000000000..0b9f8fc9693 --- /dev/null +++ b/Master/texmf-dist/doc/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 + + + + + |