From 25352f11efd89c5b17cf401cf3c33d944c0adc52 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 15 Dec 2016 16:30:22 +0200 Subject: Allow dot as special line-level special character --- doc/testscript.cli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/testscript.cli b/doc/testscript.cli index 78e7efc..3a7285d 100644 --- a/doc/testscript.cli +++ b/doc/testscript.cli @@ -1693,7 +1693,7 @@ the following more traditional form: (A|B|C)+ \ -Only characters from the \c{()|*+?{\}0123456789,=!} set are allowed as +Only characters from the \c{.()|*+?{\}0123456789,=!} set are allowed as syntax line-chars with presence of any other character being an error. A blank line as well as the \c{//} sequence (assuming \c{/} is the introducer) -- cgit v1.1