X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;h=1c6584f4d9d0d4e8700f5a7651cf8b0ea56f1db8;hb=dbbabf1d84fcc6153963431a8977132c48a71cd9;hp=2897a3ab3ae9e5fa216f80f78715e95b0292c3f0;hpb=23f5eca4e8359918f19ff95d25308d0be09ed7e2;p=pintos-anon

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