# HG changeset patch
# User wenzelm
# Date 957777191 -7200
# Node ID 5c5c68f4610d5255b7a4d861fe977c4e3736420e
# Parent  d7ad3ca77685a0e509ec81cb54a15272bb3d05b4
\usepackage{makeidx};

diff -r d7ad3ca77685 -r 5c5c68f4610d doc-src/iman.sty
--- a/doc-src/iman.sty	Mon May 08 11:03:53 2000 +0200
+++ b/doc-src/iman.sty	Mon May 08 11:13:11 2000 +0200
@@ -12,6 +12,9 @@
 
 
 %%%INDEXING  use sedindex to process the index
+
+\usepackage{makeidx}
+
 %index, putting page numbers of definitions in boldface
 \def\bold#1{\textbf{#1}}
 \newcommand\fnote[1]{#1n}
@@ -37,10 +40,6 @@
 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}
 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}}
 
-%for cross-references: 2nd argument (page number) is ignored
-\newcommand\see[2]{{\it see \/}{#1}}
-\newcommand\seealso[2]{{\it see also \/}{#1}}
-
 %set argument in \tt font; at the same time, index using * prefix
 \newcommand\rmindex[1]{{#1}\index{#1}\@}
 \newcommand\ttindex[1]{{\tt#1}\index{*#1}\@}