aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--buildfile2
-rw-r--r--repositories.manifest7
2 files changed, 7 insertions, 2 deletions
diff --git a/buildfile b/buildfile
index e10f1c0..c88c55b 100644
--- a/buildfile
+++ b/buildfile
@@ -1,7 +1,7 @@
# file : buildfile
# license : MIT; see accompanying LICENSE file
-./: {*/ -build/ -config/ -old-tests/} \
+./: {*/ -build/ -config/ -old-tests/ -doc/} \
doc{INSTALL NEWS README} legal{LICENSE AUTHORS} \
file{INSTALL.cli bootstrap* config.guess config.sub} \
manifest
diff --git a/repositories.manifest b/repositories.manifest
index 25be350..e37a9e7 100644
--- a/repositories.manifest
+++ b/repositories.manifest
@@ -3,4 +3,9 @@ summary: build2 build system repository
:
role: prerequisite
-location: ../libbutl.git#HEAD
+location: ../libbutl.git#master
+
+:
+role: prerequisite
+location: https://stage.build2.org/1
+trust: EC:50:13:E2:3D:F7:92:B4:50:0B:BF:2A:1F:7D:31:04:C6:57:6F:BC:BE:04:2E:E0:58:14:FA:66:66:21:1F:14