summaryrefslogtreecommitdiff
path: root/doc/language.txt
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-01-26 15:41:53 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-01-26 15:41:53 +0200
commit6d52ac69e940a6be6c15c5c6f84a183bf56899c8 (patch)
tree057fc64f259d171d400b2ce3afc6450ff2b200aa /doc/language.txt
parent8e07c5e7dec299df8a0fbdb2d2c6ae5fbf4d9db4 (diff)
Implement support for sourcing .cli files
The idea is that the file is "read in" as if its content was copy-n-pasted. For example: "\h|Installation|" source "INSTALL.cli" // Also used to generate plain text INSTALL. Unlike include, source can appear anywhere in the file.
Diffstat (limited to 'doc/language.txt')
-rw-r--r--doc/language.txt5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/language.txt b/doc/language.txt
index ce64abf..e6c9161 100644
--- a/doc/language.txt
+++ b/doc/language.txt
@@ -17,9 +17,13 @@ def-unit:
include-decl-seq(opt) decl-seq(opt)
include-decl-seq:
+ source-decl
include-decl
include-decl-seq include-decl
+source-decl:
+ "source" cli-path-literal ";"
+
include-decl:
"include" include-path ";"
@@ -32,6 +36,7 @@ decl-seq:
decl-seq decl
decl:
+ source-decl
scope-doc
namespace-def
class-def