web: rev5

web/index.html

@@ -94,11 +94,11 @@ xv6 without Jos, though we are not aware of any that have.
 
 <h2>Xv6 sources</h2>
 
-The latest xv6 is <a href="../src/xv6-rev4.tar.gz">xv6-rev4.tar.gz</a>.
+The latest xv6 is <a href="xv6-rev5.tar.gz">xv6-rev5.tar.gz</a>.
 We distribute the sources in electronic form but also as
 a printed booklet with line numbers that keep everyone
 together during lectures.  The booklet is available as
-<a href="../src/xv6-rev4.pdf">xv6-rev4.pdf</a>.
+<a href="xv6-rev5.pdf">xv6-rev5.pdf</a>.
 The xv6 source code is licensed under the traditional <a href="http://www.opensource.org/licenses/mit-license.php">MIT license</a>;
 see the LICENSE file in the source distribution.
 
@@ -130,7 +130,7 @@ the commentary are below.
 <ul>
 <li>read with the code side by side
 <li>code references look like (xxxx) or (xxxx-yyyy) in small text.
-<li><a href="../src/xv6-rev4.pdf">this pdf</a> is the one with matching line numbers.
+<li><a href="xv6-rev5.pdf">this pdf</a> is the one with matching line numbers.
 <li>each chapter starts with an introduction to the topic,
 spends most of the text on code,
 and then wraps up talking about how xv6