From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 15 Sep 2004 21:41:12 +0000 (+0000)
Subject: Update docs.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=19fe94015fe7f89f801652b1dd9d089b01704989;p=pintos-anon

Update docs.
---

diff --git a/doc/projects.texi b/doc/projects.texi
index 08ee9e5..a342fe7 100644
--- a/doc/projects.texi
+++ b/doc/projects.texi
@@ -19,3 +19,4 @@
 @c @include devel.texi
 @include mlfqs.texi
 @include standards.texi
+@include doc.texi