sources -> sources and text

861cc158 · Frans Kaashoek · 5f46b272 · 861cc158
--- a/web/index.html
+++ b/web/index.html
@@ -75,7 +75,7 @@ Finally, writing a new system allowed us to write cleaner versions
 of the rougher parts of V6, like the scheduler and file system.
 6.828 substituted xv6 for V6 in the fall of 2006. 

-<h2>Xv6 sources</h2>
+<h2>Xv6 sources and text</h2>

 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