diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-02-27 12:39:51 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-02-28 14:59:38 +0100 |
commit | b9dec99ab48f95adbc27a6d12184fe2203c2c673 (patch) | |
tree | 41f53a990188f44d7e19beb0c8c3f468705ccadf /doc/future-designs/service-target-cache.org | |
parent | 6d28e7e77bafe30b6a30289d2755ca0bf49636bc (diff) | |
download | justbuild-b9dec99ab48f95adbc27a6d12184fe2203c2c673.tar.gz |
Various typo fixes
Co-authored-by: Sascha Roloff <sascha.roloff@huawei.com>
Diffstat (limited to 'doc/future-designs/service-target-cache.org')
-rw-r--r-- | doc/future-designs/service-target-cache.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/future-designs/service-target-cache.org b/doc/future-designs/service-target-cache.org index 9f07351d..10138db5 100644 --- a/doc/future-designs/service-target-cache.org +++ b/doc/future-designs/service-target-cache.org @@ -158,7 +158,7 @@ serve~ endpoint has to be specified in the invocation of ~just~. **** ~just-mr~ pragma ~"absent"~ -For ~just-mr~ to know how to contruct the repository description, +For ~just-mr~ to know how to construct the repository description, the description used by ~just-mr~ is extended. More precisely, a new key ~"absent"~ is allowed in the ~"pragma"~ dictionary of a repository description. If the specified value is true, ~just-mr~ @@ -196,7 +196,7 @@ Such a repository is given by - a command that, when executed in an empty directory (anywhere in the file system) will create in that directory a directory structure containing the specified ~git~ tree (either top-level - or in some sudirectory). Moreover, that command does not modify + or in some subdirectory). Moreover, that command does not modify anything outside the directory it is called in; it is an error if the specified tree is not created in this way. In this way, content-fixed repositories can be generated in a |