From 3df689a4ef27a0ecbaa18df0a6902d02d16edec9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20B=2E=20Brandenburg?= <bbb@cs.unc.edu>
Date: Wed, 10 Nov 2010 22:22:24 -0500
Subject: advertise public repositories

---
 index.html                   | 13 +++-------
 public-repository/index.html | 57 ++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 60 insertions(+), 10 deletions(-)
 create mode 100644 public-repository/index.html

diff --git a/index.html b/index.html
index 7cab71e..aac8ced 100644
--- a/index.html
+++ b/index.html
@@ -641,17 +641,10 @@ scons
     <div class="box">  
     <p class="nomargin">
     Patches and suggestions are very welcome!
-    The current development version of LITMUS<sup>RT</sup> is available as a public <a href="http://git-scm.com/">git</a> repository at
-    <strong>http://www.cs.unc.edu/~anderson/litmus-rt/git</strong> and can be
-    cloned with the following command.
+    Both the LITMUS<sup>RT</sup> kernel and liblitmus are available 
+    as a public <a href="http://git-scm.com/">git</a> repository at
+    <a href="public-repository/index.html">http://www.cs.unc.edu/~anderson/litmus-rt/public-repository</a>.
     </p> 
-<pre class="shell">
-git clone http://www.cs.unc.edu/~anderson/litmus-rt/git litmus-rt
-</pre>
-	<p class="nobottommargin">
-    Please contact the <a href="#collaborators">current maintainer</a> if you 
-    need access to the repositories for the user space libraries and tools.
-    </p>
     </div>
  
 
diff --git a/public-repository/index.html b/public-repository/index.html
new file mode 100644
index 0000000..169c054
--- /dev/null
+++ b/public-repository/index.html
@@ -0,0 +1,57 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> 
+<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> 
+  <head> 
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> 
+    <meta name="verify-v1" content="pZNmf5XyUUfAPdlSPbFSavMUsLgVsmBYOXzOhbIy2gw=" /> 
+    <link rel="stylesheet" type="text/css" href="../inc/format.css"/> 
+    <title>LITMUS RT: Public Repositories</title> 
+  </head> 
+  <body> 
+  
+    <body>   
+    <div class="logobox"> 
+        <img src="../inc/litmusrt.png" alt="LITMUS^RT: Linux Testbed for Multiprocessor Scheduling in Real-Time Systems" /> 
+	<p class="authors"> 
+	   <a href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson &amp;
+	   Students</a>, 
+	   <a href="http://www.unc.edu">The University of North Carolina at Chapel Hill</a> 
+	</p> 
+ 
+   </div> 
+
+  <div class="nav"> 
+   <p>   
+   <a href="../index.html#about">about</a> - 
+   <a href="../index.html#support">support</a> -
+   <a href="../index.html#collaborators">collaborators</a> - 
+   <a href="../index.html#publications">publications</a> - 
+   <a href="../index.html#download">download</a> - 
+   <a href="../index.html#install">installation</a> -
+   <a href="../index.html#doc">documentation</a> -
+   <a href="../index.html#development">development</a>      
+   </p> 
+   </div> 
+
+<p><br/><p> <!-- CSS me... -->
+
+    <h2 id="development">Public Repositories</h2> 
+    <div class="box">  
+    <p class="nomargin">
+	To clone the kernel repository, enter the following command:
+    </p>
+<pre class="shell">
+git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/litmus.git
+</pre>
+	<p>To clone the liblitmus repository, enter the following command:
+	</p>
+<pre class="shell">
+git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/liblitmus.git
+</pre>
+	<p class="nobottommargin">
+    Please contact the <a href="../index.html#collaborators">current maintainer</a> if you 
+    have any questions.
+    </p>
+    </div>
+
+  </body>
+</html>
\ No newline at end of file
-- 
cgit v1.2.2