From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 30 Mar 2005 06:11:53 +0000 (+0000)
Subject: Update license section.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=63bae7d91cfdc5d6f73b52702ecb6dcca515496c;p=pintos-anon

Update license section.
---

diff --git a/doc/intro.texi b/doc/intro.texi
index 2897a3a..1c6584f 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -253,12 +253,12 @@ code by refraining from reading any homework solutions available
 online or elsewhere.  (Source code for other operating system kernels,
 such as Linux or FreeBSD, is of course fair game.)
 
-Please refer to the @file{LICENSE} file at the top level of the Pintos
-source distribution for license details.
-
 There is NO WARRANTY for Pintos, not even for MERCHANTABILITY or
 FITNESS FOR A PARTICULAR PURPOSE.
 
+Please refer to the @file{LICENSE} file at the top level of the Pintos
+source distribution for details of license and lack of warranty.
+
 @node Pintos Trivia
 @section Pintos Trivia