\refmodindex{}: New macro, used to make an index reference to a module which

	is neither standard nor built-in.  (Used for sitecustomize entry.)

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 50698b9d39c8e43ed8c33ba702148454e67225e1..c502c31f5d0d040672d8b530a81a03bbfd78ab55 100644 (file)
--- 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 }}