X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftutorial.texi;h=2432dc3e510c263c2e28c17b9d713d9f72b6010a;hb=8b30bfd6dd3f8ce0218d6ec4cae3796fc87cb86e;hp=994c0a7fc90028e5ffab058d92b3849aaf2520d0;hpb=c6308e236260e0de05eb161c02a8e9eadf6246c7;p=pspp

diff --git a/doc/tutorial.texi b/doc/tutorial.texi
index 994c0a7fc9..2432dc3e51 100644
--- a/doc/tutorial.texi
+++ b/doc/tutorial.texi
@@ -1,6 +1,6 @@
 @alias prompt = sansserif
 
-@include doc/tut.texi
+@include tut.texi
 
 @node Using PSPP
 @chapter Using PSPP