doc-src/Locales/Makefile

--- a/doc-src/Locales/Makefile	Thu May 15 20:20:30 2008 +0200
+++ b/doc-src/Locales/Makefile	Thu May 15 21:08:25 2008 +0200
@@ -18,8 +18,7 @@
 
 FILES = Locales/document/root.tex Locales/document/root.bib \
   Locales/document/session.tex Locales/document/Locales.tex \
-  Locales/document/isabelle.sty Locales/document/isabellesym.sty \
-  Locales/document/pdfsetup.sty 
+  ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty 
 
 dvi: $(NAME).dvi