sources -> sources and text

diff --git a/web/index.html b/web/index.html
index c14e2d0664c8bb5fc88f8872225495715b313e26..c3bafc80f94f49f88d814b9218986a94cb1d8610 100644 (file)
--- 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