# HG changeset patch # User Bryan O'Sullivan # Date 1180283967 25200 # Node ID f83281da412212a39242676c88f1c7692946dff4 # Parent 0a20b03559bf1192d0f8af9a9f058f42e2bc882b Add new commands for commands and options provided by extensions. Should improve indexing a bit. diff -r 0a20b03559bf -r f83281da4122 en/99defs.tex --- a/en/99defs.tex Sat May 26 12:07:03 2007 -0700 +++ b/en/99defs.tex Sun May 27 09:39:27 2007 -0700 @@ -23,6 +23,10 @@ % Mercurial extension. \newcommand{\hgext}[1]{\index{\texttt{#1} extension}\texttt{#1}} +% Command provided by a Mercurial extension. +\newcommand{\hgxcmd}[2]{\index{\texttt{#2} command (\texttt{#1} + extension)}\index{\texttt{#1} extension!\texttt{#2} command}``\texttt{hg #2}''} + % Mercurial command. \newcommand{\hgcmd}[1]{\index{\texttt{#1} command}``\texttt{hg #1}''} @@ -48,6 +52,9 @@ % Mercurial command option. \newcommand{\hgopt}[2]{\index{\texttt{#1} command!\texttt{#2} option}\texttt{#2}} +% Mercurial command option, provided by an extension command. +\newcommand{\hgxopt}[3]{\index{\texttt{#2} command (\texttt{#1} extension)!\texttt{#3} option}\index{\texttt{#1} extension!\texttt{#2} command!\texttt{#3} option}\texttt{#3}} + % Mercurial global option. \newcommand{\hggopt}[1]{\index{global options!\texttt{#1} option}\texttt{#1}}