% Customization for CJTCS 1996-5
%
% This file has no impact on the standard format, nor any other format
% without a table of contents. In formats with table of contents, it
% fixes a bug that allowed customization of the inline title to
% interfere with the toc line.
%
\renewcommand{\asection}[2]{
  \section*{#1\secnumsep #2}
  \renewcommand{\thecjsection}{#1}
  \addcontentsline{toc}{section}{{#1\tocnumsep #2}}
}