# HG changeset patch
# User wenzelm
# Date 1210878505 -7200
# Node ID 3331d559feaf9462bbc034a766370512a6dbe906
# Parent  f086011617b08c015f9765a02ae3183ed2be66fa
use Isabelle sty files from Doc/;

diff -r f086011617b0 -r 3331d559feaf 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