From 861cc158beceb857f5d61a8321379c439ef72bc1 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@Frans-Kaashoeks-MacBook-Pro.local>
Date: Mon, 5 Sep 2011 20:56:48 -0400
Subject: [PATCH] sources -> sources and text

---
 web/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/index.html b/web/index.html
index c14e2d0..c3bafc8 100644
--- 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