diff options
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. |