diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2023-06-02 10:12:31 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2023-06-12 16:29:05 +0200 |
| commit | ec1e9292a887dbb96668f75c1bc86f795ce1c780 (patch) | |
| tree | 8ed17e43e16425c588057a321c1fd4b5f1c47d29 /doc/tutorial/third-party-software.md | |
| parent | b66a7359fbbff35af630c88c56598bbc06b393e1 (diff) | |
| download | justbuild-ec1e9292a887dbb96668f75c1bc86f795ce1c780.tar.gz | |
doc: Minor format and consistency improvements
Diffstat (limited to 'doc/tutorial/third-party-software.md')
| -rw-r--r-- | doc/tutorial/third-party-software.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/tutorial/third-party-software.md b/doc/tutorial/third-party-software.md index daaf5b2d..644b7b21 100644 --- a/doc/tutorial/third-party-software.md +++ b/doc/tutorial/third-party-software.md @@ -467,6 +467,8 @@ staging mechanism the logical repository it belongs to is rooted in the } ``` +--- + [^1]: Explicit `TREE` references are always a list of length 3, to distinguish them from target references of length 2 (module and target name). Furthermore, the second list element is always `null` |