changeset 42511 | bf89455ccf9d |
parent 27076 | e104481d289d |
child 42637 | 381fdcab0f36 |
--- a/doc-src/Locales/Makefile Sun May 01 00:01:59 2011 +0200 +++ b/doc-src/Locales/Makefile Sun May 01 16:36:34 2011 +0200 @@ -17,7 +17,7 @@ Locales/document/session.tex Locales/document/Examples.tex \ Locales/document/Examples1.tex Locales/document/Examples2.tex \ Locales/document/Examples3.tex \ - ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty + ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty dvi: $(NAME).dvi