From e4ce97b38411de5d972ee4cf89cede342b7f82f0 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Mon, 1 Jul 2013 18:01:01 +0000
Subject: Developer's guide by Dan Liew, with a few changes from me.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@185351 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/GetInvolved.html | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'www/GetInvolved.html')

diff --git a/www/GetInvolved.html b/www/GetInvolved.html
index 0cde1299..2ff2b5ee 100644
--- a/www/GetInvolved.html
+++ b/www/GetInvolved.html
@@ -36,12 +36,16 @@ and also fill a bug report on <a href="http://llvm.org/bugs/">Bugzilla</a></a> u
   
 <h2>Working with the Code</h2>
 
-<p>KLEE developer documentation is written in doxygen and you may have it online here:
- <a href="http://t1.minormatter.com/~ddunbar/klee-doxygen/index.html">doxygen</a>
- (this is updated nightly from the source tree).</p>
+<p> You should first check <a href="developers-guide.html">KLEE's developer's guide</a>.</p>  
+  
+<p>Developer documentation is written in 
+ <a href="http://t1.minormatter.com/~ddunbar/klee-doxygen/index.html">doxygen</a>.
+<!-- (this page is updated nightly from the source tree).-->
+</p>
+
+</p>
 
-<p>Many parts of KLEE rely on the LLVM infrastructure, you can find more
-information about programming for LLVM here:
+<p>Many parts of KLEE rely on the LLVM infrastructure, so you might also want to look at 
 <a href="http://llvm.org/docs/#llvmprog">LLVM's General Programming Documentation</a>.</p>
 
 </div>
-- 
cgit 1.4.1