Add \ulink, grammar production markup.
This commit is contained in:
parent
77602f2e32
commit
b4b64daa5e
|
@ -754,6 +754,7 @@
|
||||||
\newcommand{\NULL}{\constant{NULL}}
|
\newcommand{\NULL}{\constant{NULL}}
|
||||||
\newcommand{\infinity}{\ensuremath{\infty}}
|
\newcommand{\infinity}{\ensuremath{\infty}}
|
||||||
\newcommand{\plusminus}{\ensuremath{\pm}}
|
\newcommand{\plusminus}{\ensuremath{\pm}}
|
||||||
|
\newcommand{\menuselection}[1]{{\def\sub{ \ensuremath{>} }#1}}
|
||||||
|
|
||||||
% Also for consistency: spell Python "Python", not "python"!
|
% Also for consistency: spell Python "Python", not "python"!
|
||||||
|
|
||||||
|
@ -857,12 +858,26 @@
|
||||||
\newcommand{\programopt}[1]{\strong{#1}}
|
\newcommand{\programopt}[1]{\strong{#1}}
|
||||||
% Note that \longprogramopt provides the '--'!
|
% Note that \longprogramopt provides the '--'!
|
||||||
\newcommand{\longprogramopt}[1]{\strong{-{}-#1}}
|
\newcommand{\longprogramopt}[1]{\strong{-{}-#1}}
|
||||||
|
% \ulink{link text}{URL}
|
||||||
|
\newcommand{\ulink}[2]{#1}
|
||||||
|
|
||||||
% cited titles: \citetitle{Title of Work}
|
% cited titles: \citetitle{Title of Work}
|
||||||
% online: \citetitle[url-to-resource]{Title of Work}
|
% online: \citetitle[url-to-resource]{Title of Work}
|
||||||
\newcommand{\citetitle}[2][URL]{\emph{#2}}
|
\newcommand{\citetitle}[2][URL]{\emph{#2}}
|
||||||
|
|
||||||
|
|
||||||
|
\newenvironment{productionlist}[1][\py@badkey]{
|
||||||
|
\def\optional##1{{\Large[}##1{\Large]}}
|
||||||
|
\def\production##1##2{\code{##1}&::=&\code{##2}\\}
|
||||||
|
\def\orgroup##1{{\def\or{\textbar\ }##1}}
|
||||||
|
\def\token##1{##1}
|
||||||
|
\begin{center}
|
||||||
|
\begin{tabular}{lcl}
|
||||||
|
}{%
|
||||||
|
\end{tabular}
|
||||||
|
\end{center}
|
||||||
|
}
|
||||||
|
|
||||||
% Deprecation stuff.
|
% Deprecation stuff.
|
||||||
% Should be extended to allow an index / list of deprecated stuff. But
|
% Should be extended to allow an index / list of deprecated stuff. But
|
||||||
% there's a lot of stuff that needs to be done to make that automatable.
|
% there's a lot of stuff that needs to be done to make that automatable.
|
||||||
|
|
Loading…
Reference in New Issue