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

is neither standard nor built-in.  (Used for sitecustomize entry.)
This commit is contained in:
Fred Drake 1997-12-15 22:08:14 +00:00
parent 9ab2b2ec5b
commit 4af1814858
1 changed files with 1 additions and 0 deletions

View File

@ -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 }}