X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftutorial.texi;h=2432dc3e510c263c2e28c17b9d713d9f72b6010a;hb=ed38ada34331b3b1e0167c350b375a3fb38099a2;hp=994c0a7fc90028e5ffab058d92b3849aaf2520d0;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;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