diff options
-rw-r--r-- | doc/refman.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/refman.tex b/doc/refman.tex index adc223d..0e29a69 100644 --- a/doc/refman.tex +++ b/doc/refman.tex @@ -122,6 +122,7 @@ \newcommand{\attribute}[4]{% \label{attribute:#1:#2} \ident{-#2 }% + \index{#2} \latexhtml{\ifpdf\hyperlink{attrtype.#3}{\ident{#3}}\hyperdef{attribute}{#1#2}{}\fi}{% \hyperref[no]{\tt \bf #3}{\ident{#3}}{attrtype:#3}} \begin{quotation}#4\end{quotation} @@ -142,7 +143,6 @@ \newcommand{\concept}[1]{% \label{concept:#1} - \index{#1} \latexhtml{\ifpdf\hyperdef{concept}{#1}{}\fi}{} % XXX bug? en html? } @@ -157,7 +157,8 @@ \hyperref[page]{#1}{#1 (page }{)}{concept:#2}} } -% XXX +% Premier parametre nom du fichier image +% Deuxieme parametre legende \newcommand{\fig}[2]{% \latexhtml{\ifpdf\label{fig:#1}\begin{figure}[htbp]\centering\includegraphics{#1}\caption{#2}\end{figure}\fi}{% \begin{center}\htmladdimg{#1}\end{center} |