summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Doc/myformat.sty1
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 50698b9..c502c31 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 }}