[PATCH 1/3] www/GetStarted.html: fix reference to posix/uclibc step

[Jonathan Neuschäfer]

---
www/GetStarted.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/GetStarted.html b/www/GetStarted.html
index abd1b7b..7f6199d 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -216,7 +216,7 @@ runtime, which is built on top of the uClibc C library.
$ ./configure --with-llvm=<i>path/to/llvm</i> --with-stp=<i>path/to/stp/install</i> --with-uclibc=<i>path/to/klee-uclibc</i> --enable-posix-runtime
</div>

- <p><b>NOTE:</b> If you skipped step 3, simply remove the <tt>--with-uclibc</tt> and <tt>--enable-posix-runtime options</tt>. </p>
+ <p><b>NOTE:</b> If you skipped step 4, simply remove the <tt>--with-uclibc</tt> and <tt>--enable-posix-runtime options</tt>. </p>
</li>

<li><b>Build KLEE:</b>