diff options
| author | Cem Keylan <cem@ckyln.com> | 2020-09-09 19:16:07 +0300 |
|---|---|---|
| committer | Cem Keylan <cem@ckyln.com> | 2020-09-09 19:16:07 +0300 |
| commit | 821fda61da4ab4d596d1399f21fa6cc9b1e51444 (patch) | |
| tree | d2e7d3735e9e93bfc5e7036882456b66af3b8421 /src/docs/Packaging-System.html | |
| parent | b3407224f2ddc6ca7109ecf60f07427118c52dc6 (diff) | |
| download | website-821fda61da4ab4d596d1399f21fa6cc9b1e51444.tar.gz | |
update
Diffstat (limited to 'src/docs/Packaging-System.html')
| -rw-r--r-- | src/docs/Packaging-System.html | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/src/docs/Packaging-System.html b/src/docs/Packaging-System.html index 4fda504..3c4538a 100644 --- a/src/docs/Packaging-System.html +++ b/src/docs/Packaging-System.html @@ -114,11 +114,17 @@ downloaded with <code>curl</code>. 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, </p> -<div class="example"> -<pre class="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' -</pre></div> +<dl compact="compact"> +<dt>‘<code>git+git://example.com/pub/repo#v1.2.3</code>’</dt> +<dd><p>will checkout the tag named ’v1.2.3’ +</p></dd> +<dt>‘<code>git+git://example.com/pub/repo#development</code>’</dt> +<dd><p>will checkout the branch named ’development’ +</p></dd> +<dt>‘<code>git+git://example.com/pub/repo#1a314s87</code>’</dt> +<dd><p>will checkout the commit named ’1a314s87’ +</p></dd> +</dl> <p>Other files are assumed to be residing in the package directory. They should be added with their paths relative to the package directory. |