aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCem Keylan <cem@ckyln.com>2020-09-09 18:47:22 +0300
committerCem Keylan <cem@ckyln.com>2020-09-09 18:47:22 +0300
commit2f4a3507b1669b2f828e051d1d8462cc17091266 (patch)
tree8f06ad62189e81e897b2b9ff3dbeccdc95f082e2
parentd95bc386a9642d6533cb0f8319b2fca27764015d (diff)
downloaddocs-2f4a3507b1669b2f828e051d1d8462cc17091266.tar.gz
cpt.texi: update
-rw-r--r--cpt.texi13
1 files changed, 8 insertions, 5 deletions
diff --git a/cpt.texi b/cpt.texi
index 8823a54..3868330 100644
--- a/cpt.texi
+++ b/cpt.texi
@@ -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.