1.1 --- a/doc-src/Locales/Makefile	Fri Aug 19 22:44:36 2005 +0200
     1.2 +++ b/doc-src/Locales/Makefile	Fri Aug 19 22:50:20 2005 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  ## paths
     1.6  
     1.7 -TEXPATH = Locales/generated/:
     1.8 +TEXPATH = Locales/document/:
     1.9  
    1.10  ## dependencies
    1.11  
    1.12 @@ -16,10 +16,10 @@
    1.13  
    1.14  NAME = locales
    1.15  
    1.16 -FILES = Locales/generated/root.tex Locales/generated/root.bib \
    1.17 -  Locales/generated/session.tex Locales/generated/Locales.tex \
    1.18 -  Locales/generated/isabelle.sty Locales/generated/isabellesym.sty \
    1.19 -  Locales/generated/pdfsetup.sty 
    1.20 +FILES = Locales/document/root.tex Locales/document/root.bib \
    1.21 +  Locales/document/session.tex Locales/document/Locales.tex \
    1.22 +  Locales/document/isabelle.sty Locales/document/isabellesym.sty \
    1.23 +  Locales/document/pdfsetup.sty 
    1.24  
    1.25  dvi: $(NAME).dvi
    1.26