blob: 0b9f8fc96936b214d6d15a0d430c30fc6792fc24 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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
|
