diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/myformat.sty | 1 |
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 }} |