\modindex{}: New macro; index module without declaring it "built-in" or
"standard". This is mostly for documentation of modules outside the
standard library.
diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index d5d5a31..0261387 100644
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -114,6 +114,7 @@
% Add the defining entry for a module
\newcommand{\defmodindex}[2]{\index{#1@{\codefont#1} (#2module)|textbf}%
\write\modindexfile{#1 \thepage}}
+\newcommand{\modindex}[1]{\defmodindex{#1}{}}
\newcommand{\bimodindex}[1]{\defmodindex{#1}{built-in }}
\newcommand{\stmodindex}[1]{\defmodindex{#1}{standard }}