From 4af1814858bb05438e1eb01e77be21000e615bff Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Mon, 15 Dec 1997 22:08:14 +0000
Subject: [PATCH] \refmodindex{}:  New macro, used to make an index reference
 to a module which 	is neither standard nor built-in.  (Used for
 sitecustomize entry.)

---
 Doc/myformat.sty | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 50698b9d39c..c502c31f5d0 100644
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -97,6 +97,7 @@
 
 % Add an index entry for a module
 \newcommand{\refmodule}[2]{\index{#1@{\tt#1} (#2module)}}
+\newcommand{\refmodindex}[1]{\refmodule{#1}{}}
 \newcommand{\refbimodindex}[1]{\refmodule{#1}{built-in }}
 \newcommand{\refstmodindex}[1]{\refmodule{#1}{standard }}