diff --git a/doc/latex/decls.tex b/doc/latex/decls.tex index c0e16a5..ed322b3 100644 --- a/doc/latex/decls.tex +++ b/doc/latex/decls.tex @@ -222,6 +222,12 @@ {\index{#1} \hbox to \linewidth{\ttchars{{\ttt{#1}} \hfill #2}}}% +\newcommand{\defsyn}{\par\medskip\defsynx} % Takes 2 arguments, actually. +\newcommand{\defsynx}[2]% + {\index{#1} + \hbox to \linewidth{\ttchars{{(#1 \ttt{#2})} \hfill syntax}}}% + + % Typeset the protocol line, then do the following descriptive text indented. % If you want to group two procs together, do the first one with a \dfn, % then the second one, and the documentation, with a \defndescx.