From eb41dc760ead320d9c7089839913ae9758e333ba Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 27 Jul 2019 14:09:54 +0100
Subject: [PATCH] doc/syntax.tex: Expand on what modules are.

---
 doc/syntax.tex | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/syntax.tex b/doc/syntax.tex
index 666fe84..ccb7087 100644
--- 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:
-- 
2.11.0

