
diff -r b9c106763325 -r bf89455ccf9d doc-src/Locales/Locales/document/root.tex
--- a/doc-src/Locales/Locales/document/root.tex	Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/Locales/Locales/document/root.tex	Sun May 01 16:36:34 2011 +0200
@@ -1,6 +1,6 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{amsmath}
-\usepackage{../../../isabelle,../../../isabellesym}
+\usepackage{../../../../lib/texinputs/isabelle,../../../../lib/texinputs/isabellesym}
 \usepackage{verbatim}
 \usepackage{alltt}
 \usepackage{array}




