\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 d5d5a3188cf52f9201f26463b3fd2e7944525755..0261387bfb861ae65c973fcaff2aaff38cb27a64 100644 (file)
--- 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 }}