\seemodule{}: Use logical markup for the module name, to ensure it picks up

	any changes introduced there.  Also ensure a little more space between
	the module name and the parenthesized comment.

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 8b8f917141884cfcf36e821f3a98a58287239d47..d5d5a3188cf52f9201f26463b3fd2e7944525755 100644 (file)
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -251,7 +251,7 @@
 %  \end{seealso}
 
 \newenvironment{seealso}[0]{{\bf See Also:}\par}{\par}
-\newcommand{\seemodule}[2]{\ref{module-#1}: {\codefont #1} (#2)}
+\newcommand{\seemodule}[2]{\ref{module-#1}: \module{#1}\quad(#2)}
 \newcommand{\seetext}[1]{\par{#1}}
 
 % Fix the theindex environment to add an entry to the Table of Contents;