
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Ref/ref.tex
--- a/doc-src/Ref/ref.tex	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Ref/ref.tex	Tue Jul 21 16:41:12 1998 +0200
@@ -7,7 +7,7 @@
 %%% to delete old ones:  \\indexbold{\*[^}]*}
 %% run    sedindex ref    to prepare index file
 %%% needs chapter on Provers/typedsimp.ML?
-\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] The Isabelle Reference Manual}
+\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle Reference Manual}
 
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\




