diff --git a/doc/manual/expressions/builtins.xml b/doc/manual/expressions/builtins.xml
index 8a32ed8b5..47b98460a 100644
--- a/doc/manual/expressions/builtins.xml
+++ b/doc/manual/expressions/builtins.xml
@@ -307,6 +307,61 @@ stdenv.mkDerivation { … }
+
+
+ builtins.fetchGit
+ args
+
+
+
+
+ Fetch a path from git. args can be
+ a URL, in which case the HEAD of the repo at that URL is
+ fetched. Otherwise, it can be an attribute with the following
+ attributes (all except url optional):
+
+
+
+
+ url
+
+
+ The URL of the repo.
+
+
+
+
+ name
+
+
+ The name of the directory the repo should be exported to
+ in the store. Defaults to the basename of the URL.
+
+
+
+
+ rev
+
+
+ The git revision to fetch. Defaults to the tip of
+ ref.
+
+
+
+
+ ref
+
+
+ The git ref to look for the requested revision under.
+ This is often a branch or tag name. Defaults to
+ HEAD.
+
+
+
+
+
+
+
builtins.filter
f xs