diff -r c7d945398677 -r d6c92979fa51 doc-src/TutorialI/Makefile
--- a/doc-src/TutorialI/Makefile	Tue May 09 16:05:30 2000 +0200
+++ b/doc-src/TutorialI/Makefile	Tue May 09 16:05:45 2000 +0200
@@ -14,7 +14,7 @@
 NAME = tutorial
 FILES = tutorial.tex basics.tex fp.tex appendix.tex \
 	../iman.sty ttbox.sty extra.sty \
-	isabelle.sty isabellesym.sty pdfsetup.sty
+	isabelle.sty isabellesym.sty ../pdfsetup.sty
 
 dvi: $(NAME).dvi