changeset 10092 | 4295180d6bab |
parent 9693 | a2272ce2316b |
child 39860 | 788e902f3c59 |
--- a/doc-src/iman.sty Tue Sep 26 18:27:50 2000 +0200 +++ b/doc-src/iman.sty Wed Sep 27 11:20:30 2000 +0200 @@ -13,8 +13,8 @@ %%%INDEXING use sedindex to process the index +\newcommand\seealso[2]{\emph{see also} #1} \usepackage{makeidx} -\newcommand\seealso[2]{\emph{see also} #1} %index, putting page numbers of definitions in boldface \def\bold#1{\textbf{#1}}