paraslash 0.7.3

[paraslash.git] / web / download.in.html

diff --git a/web/download.in.html b/web/download.in.html
index dd0b9c7838a0dfa3ecc85e9c8c9c731e8662d02d..2b31e5d76c7f9f7c348ba08f852dc6c5a5780f73 100644 (file)
--- a/web/download.in.html
+++ b/web/download.in.html
@@ -1,25 +1,26 @@
 <h1>Download</h1>
 <hr>
 
 <h1>Download</h1>
 <hr>
 

-Paraslash is only available as source code, no binary packages are
-provided at this point. There are several ways to download the source:
+<p> Paraslash is only available as source code, no binary packages
+are provided at this point. There are several ways to download the
+source: </p>

 
 <ul>
        <li> <em> git</em>.
 
                Clone the git repository by executing
 
 
 <ul>
        <li> <em> git</em>.
 
                Clone the git repository by executing
 

-               <p> <pre> <kbd>
+               <pre> <kbd>

                        git clone git://git.tuebingen.mpg.de/paraslash.git
                        git clone git://git.tuebingen.mpg.de/paraslash.git

-               </kbd> </pre> </p>
+               </kbd> </pre>

 
                <p> The repository contains the full history of the
                project since 2006, all work in progress and the source
 
                <p> The repository contains the full history of the
                project since 2006, all work in progress and the source

-               code for the web pages. Choosing this option allows to
-               check out any of the four integration branches maint,
+               code for the web pages. Choosing this option allows the
+               checkout of any of the four integration branches maint,

                master, next, pu (see the
 
                master, next, pu (see the
 

-               <a href="manual.html#git_branches">git_branches</a>
+               <a href="manual.html#Git-branches">Git branches</a>

 
                section of the manual). All previous releases
                correspond to tagged commits and may be checked out
 
                section of the manual). All previous releases
                correspond to tagged commits and may be checked out


@@ -52,7 +53,7 @@ provided at this point. There are several ways to download the source:
 
                Whenever significant changes are incorporated a
 
 
                Whenever significant changes are incorporated a
 

-               <a href="releases/paraslash-git.tar.bz2">tarball</a>
+               <a href="releases/paraslash-git.tar.xz">tarball</a>

 
                of the current master branch is created. All changes in
                this tarball will be included in the next release. Like
 
                of the current master branch is created. All changes in
                this tarball will be included in the next release. Like


@@ -68,7 +69,7 @@ provided at this point. There are several ways to download the source:
                        <a href="http://git.tuebingen.mpg.de/paraslash.git">gitweb</a>
 
                page contains a snapshot link for each revision. This
                        <a href="http://git.tuebingen.mpg.de/paraslash.git">gitweb</a>
 
                page contains a snapshot link for each revision. This

-               allows to get a specific revision without downloading
+               allows getting a specific revision without downloading

                the full history.
 
        </li>
                the full history.
 
        </li>