
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/System/system.tex
--- a/doc-src/System/system.tex	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/System/system.tex	Tue Jul 21 16:41:12 1998 +0200
@@ -5,7 +5,7 @@
 \usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
 
 
-\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] The Isabelle System Manual}
+\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle System Manual}
 
 \author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was
     written by Carsten Clasohm.  Section~\protect\ref{sec:browse} was




