diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-09 00:45:48 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-09 00:45:48 +0000 |
commit | 5dc602d16c5be2fd035b254ca23484a90aebd6dc (patch) | |
tree | 72efb15fba318cc2096a8cc6999ed3fa0bff317d /Master/texmf-dist/doc/texsis/base/Manual.tex | |
parent | b4fc5f639874db951177ec539299d20908adb654 (diff) |
doc 5
git-svn-id: svn://tug.org/texlive/trunk@81 c570f23f-e606-0410-a88d-b1316a301751
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 + + + + + |