Improve index entry for "import"; responding to comments by Stefan

Franke <sfranke@cdc-group.com>.

diff --git a/Doc/lib/libimp.tex b/Doc/lib/libimp.tex
index e9812ccd230f536515fd8dd16a242c5004390f1c..9279591de03f9653fa01fa9f5c550f8151cf2394 100644 (file)
--- a/Doc/lib/libimp.tex
+++ b/Doc/lib/libimp.tex
@@ -5,7 +5,7 @@
 \modulesynopsis{Access the implementation of the \keyword{import} statement.}
 
 
-This\kwindex{import} module provides an interface to the mechanisms
+This\stindex{import} module provides an interface to the mechanisms
 used to implement the \keyword{import} statement.  It defines the
 following constants and functions: