From 8da56a0cc5e936646b82ebf0e9fa6d61b4ba19c7 Mon Sep 17 00:00:00 2001 From: Mike Frysinger Date: Tue, 10 Mar 2026 00:07:56 -0400 Subject: [PATCH] man: refresh after recent changes Change-Id: Ibd60f89406e89255b3284413442b1d9c0ccbfb6d Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/559601 Commit-Queue: Mike Frysinger Tested-by: Mike Frysinger Reviewed-by: Mike Frysinger Reviewed-by: Jeffery Miller --- man/repo-manifest.1 | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/man/repo-manifest.1 b/man/repo-manifest.1 index 4d650c155..4d74fde89 100644 --- a/man/repo-manifest.1 +++ b/man/repo-manifest.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man. -.TH REPO "1" "February 2026" "repo manifest" "Repo Manual" +.TH REPO "1" "March 2026" "repo manifest" "Repo Manual" .SH NAME repo \- repo manifest - manual page for repo manifest .SH SYNOPSIS @@ -478,6 +478,11 @@ of an existing project without completely replacing the existing project definition. This makes the local manifest more robust against changes to the original manifest. .PP +The `extend\-project` element can also contain `annotation`, `copyfile`, and +`linkfile` child elements. These are added to the project's definition. A +`copyfile` or `linkfile` with a `dest` that already exists in the project will +overwrite the original. +.PP Attribute `path`: If specified, limit the change to projects checked out at the specified path, rather than all projects with the given name. .PP