diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-14 11:39:26 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-14 15:09:11 +0200 |
| commit | 4085ab0ee56a628e83003a90f25f60892770c214 (patch) | |
| tree | 32aedf8c3d87348c0377fd541b939ac724f85a65 | |
| parent | 89f854e1c5533bc49c59e7b5ab839463615df5c9 (diff) | |
| download | justbuild-4085ab0ee56a628e83003a90f25f60892770c214.tar.gz | |
man-5: Add plain tar and 7zip support to just-mr repository config
| -rw-r--r-- | share/man/just-mr-repository-config.5.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index 60a115ef..dfa40b49 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -43,9 +43,9 @@ The following fields are supported: ### *`"archive"`* / *`"zip"`* They define as workspace root a remote archive. The only difference -between the two types is the nature of the archive: a compressed tarball -in the case of *`"archive"`*, or a compressed zip file in the case of -*`"zip"`*. +between the two types is the nature of the archive: a tarball (preferably +compressed) in the case of *`"archive"`*, or a compressed zip or 7zip file +in the case of *`"zip"`*. The following fields are supported: |