aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-11-23 16:09:35 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2020-11-23 16:09:35 +0200
commitf08aeee5272454c8c8eec73d0898bcbf9383e1b8 (patch)
tree6d4baaf0b2d9f2e4263c6d9afc731fc77cb1703b
parentb7f4e6154fa3c07ad3472bbd7c871df28d440a64 (diff)
Document include and source directives
-rw-r--r--doc/manual.cli33
1 files changed, 32 insertions, 1 deletions
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 <file>
+include <directory>
+\
+
+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 <file>
+\
+
+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.}