doc/syntax.tex: Expand on what modules are.

diff --git a/doc/syntax.tex b/doc/syntax.tex
index 666fe84..ccb7087 100644 (file)
--- a/doc/syntax.tex
+++ b/doc/syntax.tex
@@ -520,8 +520,10 @@ above, are as follows.
 \alt <class-definition>
 \end{grammar}
 
-A @<module> is the top-level syntactic item.  A module consists of a sequence
-of definitions.
+A @<module> is the top-level syntactic item: a source file presented to Sod
+is expected to conform with the @<module> syntax.
+
+A module consists of a sequence of definitions.
 
 \fixme{describe syntax; expand}
 Properties: