Manual/Guide/guide.tex

165 Before typesetting any part of the documentation, the choice of paper size must
221 \noindent Note that, as usual, {\tt latex} must be run at least twice to
256 \noindent As usual, {\tt latex} must be run at least twice to guarantee that
335 \noindent {\tt latex} needs to be run only once, and {\small DVI2PS} must
462 \noindent Note that steps \bnum{1} and \bnum{2} must be done in that order.
463 Note further that {\tt latex} must be run again after step \bnum{3} to
499 resulting {\tt .tex} file in any {\it other\/} directory, one must therefore
502 bin/doc-to-tex.sed} (see above), which therefore must be present in a
684 has several fields, which must appear in the order shown below (though some of
707 The first line in each \doc\ file must have the form
728 every \doc\ file.  There must be exactly one blank line between it and the
739 The third line in each \doc\ file must have the form
758 \ML\ function, it must be preceded by the dollar sign `{\small\verb!$!}'.  For
761 line is  a required field in every \doc\ file.  There must be exactly one
848 previous field, and must be present in every \doc\ file.  It
852 following the line beginning `{\small\verb!\SYNOPSIS!}'.  There must be
918 `{\small\verb!\DESCRIBE!}'.  There must be exactly one blank line between
963 beginning `{\small\verb!\FAILURE!}'.  There must be exactly one blank line
1005 `{\small\verb!\EXAMPLE!}'.  There must be exactly one blank line between the
1043 There must be exactly one blank line between the text of this specification
1103 following the line beginning `{\small\verb!\COMMENTS!}'.  There must be
1126 terminated by a full stop.  There must be exactly one blank line between this
1131 follow the rule: {\em if in doubt, add it}. Note that cross-references must
1152 It must be present in every \doc\ file.