diff options
| author | Thomas Radke <tradke@aei.mpg.de> | 2005-06-07 12:15:00 +0000 |
|---|---|---|
| committer | Thomas Radke <tradke@aei.mpg.de> | 2005-06-07 12:15:00 +0000 |
| commit | 90cbb4ea52fdd09f613558536d5a864fd687fc0a (patch) | |
| tree | 662d97ee56c1b4b7f2b5f25911c8ebbedbca6562 /Carpet/CarpetWeb | |
| parent | 11160a452d7a86eb7c71d275d7a927f1ca25a74d (diff) | |
CarpetWeb/get-carpet-darcs.html: fix URLs
Darcs doesn't seem to resolve a tilde symbol in a URL so eg.
darcs get darcs@cvs.carpetcode.org/~darcs/carpet
didn't work. I substituted it by 'home/'.
darcs-hash:20050607121501-776a0-6ee21c8c388dc479df77e11f7b49dd275910c79f.gz
Diffstat (limited to 'Carpet/CarpetWeb')
| -rw-r--r-- | Carpet/CarpetWeb/get-carpet-darcs.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Carpet/CarpetWeb/get-carpet-darcs.html b/Carpet/CarpetWeb/get-carpet-darcs.html index 2f588ab0b..6940f4c7d 100644 --- a/Carpet/CarpetWeb/get-carpet-darcs.html +++ b/Carpet/CarpetWeb/get-carpet-darcs.html @@ -86,13 +86,13 @@ <p>Version 2 of Carpet is available via anonymous <a href="http://www.darcs.net/">darcs</a> (a CVS mirror is planned): <pre> cd Cactus - darcs get http://www.carpetcode.org/~darcs/carpet-stable-2 + darcs get http://www.carpetcode.org/home/darcs/carpet-stable-2 cd arrangements ln -s ../carpet-stable-2/Carpet* .</pre> (Don't miss the dot after the <code>Carpet*</code> in the last line.) Instructions for using darcs are given <a href="#darcs">below</a>. You can also have a look at <a - href="http://www.carpetcode.org/~darcs/carpet-stable-2">Carpet's + href="http://www.carpetcode.org/home/darcs/carpet-stable-2">Carpet's source tree</a> in your web browser.</p> <h3>Development Version</h3> @@ -102,7 +102,7 @@ an account. Once you have an account, you get the development version via <pre> cd Cactus - darcs get darcs@cvs.carpetcode.org/~darcs/carpet + darcs get darcs@cvs.carpetcode.org/home/darcs/carpet cd arrangements ln -s ../carpet-stable-2/Carpet* .</pre> (Don't miss the dot after the <code>Carpet*</code> in the last |