diff options
author | Cem Keylan <cem@ckyln.com> | 2020-09-09 18:47:22 +0300 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2020-09-09 18:47:22 +0300 |
commit | 2f4a3507b1669b2f828e051d1d8462cc17091266 (patch) | |
tree | 8f06ad62189e81e897b2b9ff3dbeccdc95f082e2 | |
parent | d95bc386a9642d6533cb0f8319b2fca27764015d (diff) | |
download | docs-2f4a3507b1669b2f828e051d1d8462cc17091266.tar.gz |
cpt.texi: update
-rw-r--r-- | cpt.texi | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -187,11 +187,14 @@ If the source is a git repository, it shall be prefixed with a @verb{|git+|} git be used to do a shallow clone of the repository. If the commit is suffixed by a history pointer, git will checkout the relevant revision. So, -@example -git+git://example.com/pub/repo#v1.2.3 will checkout the tag named 'v1.2.3' -git+git://example.com/pub/repo#development will checkout the branch named 'development' -git+git://example.com/pub/repo#1a314s87 will checkout the commit named '1a314s87' -@end example +@table @indicateurl +@item git+git://example.com/pub/repo#v1.2.3 +will checkout the tag named 'v1.2.3' +@item git+git://example.com/pub/repo#development +will checkout the branch named 'development' +@item git+git://example.com/pub/repo#1a314s87 +will checkout the commit named '1a314s87' +@end table Other files are assumed to be residing in the package directory. They should be added with their paths relative to the package directory. |