1 files changed, 17 insertions, 0 deletions
diff --git a/doc/getting-started/etc/repos.json b/doc/getting-started/etc/repos.json
new file mode 100644
index 0000000..57ee597
--- /dev/null
+++ b/doc/getting-started/etc/repos.json
@@ -0,0 +1,17 @@
+{ "main": "example"
+, "repositories":
+  { "example":
+    { "repository": {"type": "file", "path": "."}
+    , "bindings": {"rules": "rules-rust"}
+    }
+  , "rules-rust":
+    { "repository":
+      { "type": "git"
+      , "repository": "https://github.com/just-buildsystem/rules-rust"
+      , "branch": "master"
+      , "commit": "1a8211bda5c14ef0b2bff3af062c049d5598f02f"
+      , "subdir": "rules"
+      }
+    }
+  }
+}