aboutsummaryrefslogtreecommitdiff
path: root/Carpet/CarpetWeb/get-carpet.html
diff options
context:
space:
mode:
Diffstat (limited to 'Carpet/CarpetWeb/get-carpet.html')
-rw-r--r--Carpet/CarpetWeb/get-carpet.html14
1 files changed, 7 insertions, 7 deletions
diff --git a/Carpet/CarpetWeb/get-carpet.html b/Carpet/CarpetWeb/get-carpet.html
index 9dd981446..6f6035927 100644
--- a/Carpet/CarpetWeb/get-carpet.html
+++ b/Carpet/CarpetWeb/get-carpet.html
@@ -157,7 +157,7 @@
Astronomie und Astrophysik</a> of the Universität Tübingen for
hosting the CVS and darcs servers.</p>
- <h3>Git Repository</3>
+ <h3>Git Repository</h3>
<p>Write access to Carpet git repositories is also handled via
ssh. Once you have an account set up, you obtain e.g. the
@@ -167,8 +167,8 @@
cd arrangements
ln -s ../carpet/Carpet* .</pre>
<p>(Don't miss the dot after the <code>Carpet*</code> in the last
- line.) Further instructions for using darcs are
- given <a href="#darcs">below</a>.</p>
+ line.) Further instructions for using git are
+ given <a href="#git">below</a>.</p>
<!-- rsync access is not yet set up
<p>You can also obtain the darcs repository using <tt>rsync</tt>
@@ -214,7 +214,7 @@
- <h2 id="darcs">Using Darcs</h2>
+ <h3 id="darcs">Using Darcs</h3>
<p>The foremost source of information about darcs is
the <a href="http://darcs.net/DarcsWiki">darcs wiki</a>,
@@ -248,12 +248,12 @@ darcs pull</pre>
- <h2 id="git">Using Git</h2>
+ <h3 id="git">Using Git</h3>
<p>The <a href="http://git.or.cz/">git web site</a> contains
introductions and documentation for git. The Linux kernel
developers also maintain
- a <a href="http://www.kernel.org/pub/software/scm/git/docs/tutorial.html">tutorial</a for
+ a <a href="http://www.kernel.org/pub/software/scm/git/docs/tutorial.html">tutorial</a> for
git. Git should be available for all modern operating systems.
It is also not difficult to install manually.</p>
@@ -276,7 +276,7 @@ git pull</pre>
- <h2>Convenient SSH Key Management</h3>
+ <h3>Convenient SSH Key Management</h3>
<p>SSH has two mechanisms for authentication, typing a password,
or using ssh keys. When you use ssh keys, your private key is