X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpspp.texi;h=69146976918fb69789ea732ce0ceaa2e2ed98a1e;hb=6014da385d5f3f2a3971f0049d2d54c0dc6e95f8;hp=e96ca4c1ff9f4543610db2077d5c50eb3fcfd94f;hpb=1edd8caa445f353489acae7c76f3670313ae1cb5;p=pspp

diff --git a/doc/pspp.texi b/doc/pspp.texi
index e96ca4c1ff..6914697691 100644
--- a/doc/pspp.texi
+++ b/doc/pspp.texi
@@ -25,7 +25,7 @@ graphic user interface
 @end html
 @cartouche
 @smallexample
-@verbatiminclude \FILE\
+@verbatiminclude pspp-figures/\FILE\
 @end smallexample
 @end cartouche
 @html