--- a/doc-src/LaTeXsugar/Sugar/document/root.tex Thu May 15 20:02:40 2008 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/root.tex Thu May 15 20:02:42 2008 +0200
@@ -1,5 +1,5 @@
\documentclass[11pt,a4paper]{article}
-\usepackage{isabelle,isabellesym}
+\usepackage{../../../isabelle,../../../isabellesym}
% further packages required for unusual symbols (see also isabellesym.sty)
% use only when needed
@@ -24,7 +24,7 @@
\usepackage{mathpartir}
% this should be the last package used
-\usepackage{pdfsetup}
+\usepackage{../../../pdfsetup}
% urls in roman style, theory text in math-similar italics
\urlstyle{rm}