diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 9454fa365c..08ffbc36d7 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -40261,6 +40261,12 @@ Extra command line options for @code{guix-data-service}. @item @code{extra-process-jobs-options} (default: @var{'()}) Extra command line options for @code{guix-data-service-process-jobs}. +@item @code{git-repositories} (default: @var{#f}) +List of git-repository information to insert into the database. + +@item @code{build-servers} (default: @var{#f}) +List of build-server information to insert into the database. + @end table @end deftp |