From b429514ed254fa32364e8cafea1d80c7df2abdf3 Mon Sep 17 00:00:00 2001
From: Tim Otten <totten@civicrm.org>
Date: Wed, 4 Oct 2017 10:59:42 +0100
Subject: [PATCH] tools/civibuild.md - Mention "universe" build type (#195)

---
 docs/tools/civibuild.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/tools/civibuild.md b/docs/tools/civibuild.md
index 2f424bd0..0903318a 100644
--- a/docs/tools/civibuild.md
+++ b/docs/tools/civibuild.md
@@ -39,6 +39,7 @@ For example, at time of writing, it includes:
 * `extdir`: A mock website akin to civicrm.org/extdir/ . Useful for testing the extension download process.
 * `dist`: A website containing nightly builds akin to dist.civicrm.org. Useful for preparing CiviCRM tarballs.
 * `distmgr`: A service which manages redirects and report-backs for the download site.
+* [`universe`](/tools/universe.md): A broad collection of publicly visible repos, extensions, infrastructure, etc.
 * `l10n`: WIP - A build environment for creating translation files.
 * `joomla-demo`: WIP/incomplete/broken.
 
-- 
GitLab