diff options
| -rw-r--r-- | Doc/ref/ref6.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/ref/ref6.tex b/Doc/ref/ref6.tex index 1c5f332..9e2f65e 100644 --- a/Doc/ref/ref6.tex +++ b/Doc/ref/ref6.tex @@ -512,7 +512,7 @@ restrictions, but programs should not abuse this freedom, as future implementations may enforce them or silently change the meaning of the program.) -\strong{Hierarchical module names:}\indexiii{hierarchical}{module names} +\strong{Hierarchical module names:}\indexiii{hierarchical}{module}{names} when the module names contains one or more dots, the module search path is carried out differently. The sequence of identifiers up to the last dot is used to find a ``package''\index{packages}; the final |