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