Synchronized with master.

diff --git a/src/manual/configurations/configurations.rst_ b/src/manual/configurations/configurations.rst_
index bacf40959a1cbd9ea36fc5c0c93c77d0de1aaf42..ff6aad11a950a062213cf817f42972ce7cbbce75 100644 (file)
--- a/src/manual/configurations/configurations.rst_
+++ b/src/manual/configurations/configurations.rst_
@@ -145,6 +145,12 @@
 ``re2c:define:YYSTAGP = 'YYSTAGP';``
     Replaces ``YYSTAGP`` identifier with the specified string.
 
+``re2c:eof = -1;``
+    Specifies the sentinel symbol used with EOF rule ``$`` to check for the end
+    of input in the generated lexer. Default value is ``-1`` (EOF rule is not
+    used). Other possible values include all valid code points. Only decimal
+    numbers are recognized.
+
 ``re2c:flags:8`` or ``re2c:flags:utf-8``
     Same as ``-8 --utf-8`` command-line option.