%% 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





