From f08aeee5272454c8c8eec73d0898bcbf9383e1b8 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 23 Nov 2020 16:09:35 +0200 Subject: Document include and source directives --- doc/manual.cli | 33 ++++++++++++++++++++++++++++++++- 1 file changed, 32 insertions(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/manual.cli b/doc/manual.cli index 4d4e67d..a9d75d6 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -14,7 +14,7 @@ // @@ installation of dependencies /* -@@ include includes once (also source) +@@ Redo synopsis in directives once enable p-code-box.css. @@ info (where? in scopes? could show some? separate section?) @@ other meta-ops: create (anything else?) @@ -5550,6 +5550,37 @@ info $(file{bar}: x) # S w info $(file{bar}: y) # s w \ + +\h1#directives|Directives| + +\N{This chapter is a work in progress and is incomplete.} + +\h#directives-include|\c{include}| + +\ +include +include +\ + +Load the specified file (the first form) or \c{buildfile} in the specified +directory (the second form). In both cases the file is loaded in the scope +corresponding to its directory. Subsequent inclusions of the same file are +automatically ignored. See also \l{#directives-source \c{source}}. + + +\h#directives-source|\c{source}| + + +\ +source +\ + +Load the specified file in the current scope as if its contents were copied +and pasted in place of the \c{source} directive. Note that subsequent sourcing +of the same file in the same scope are not automatically ignored. See also +\l{#directives-include \c{include}}. + + \h1#module-test|\c{test} Module| \N{This chapter is a work in progress and is incomplete.} -- cgit v1.1