diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-26 15:41:53 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-26 15:41:53 +0200 |
commit | 6d52ac69e940a6be6c15c5c6f84a183bf56899c8 (patch) | |
tree | 057fc64f259d171d400b2ce3afc6450ff2b200aa /doc/language.txt | |
parent | 8e07c5e7dec299df8a0fbdb2d2c6ae5fbf4d9db4 (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.txt | 5 |
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 |