bos@0: \newcommand{\hgext}[1]{\texttt{#1}}
bos@0: \newcommand{\hgcmd}[1]{``\texttt{hg #1}''}
bos@0: \newcommand{\hgcmdargs}[2]{``\texttt{hg #1 #2}''}
bos@0: 
bos@0: %%% Local Variables: 
bos@0: %%% mode: latex
bos@0: %%% TeX-master: "00book"
bos@0: %%% End: