changeset 42511 | bf89455ccf9d |
parent 30226 | 2f4684e2ea95 |
child 42637 | 381fdcab0f36 |
--- a/doc-src/Functions/Makefile Sun May 01 00:01:59 2011 +0200 +++ b/doc-src/Functions/Makefile Sun May 01 16:36:34 2011 +0200 @@ -15,7 +15,7 @@ FILES = $(NAME).tex Thy/document/Functions.tex intro.tex conclusion.tex \ style.sty ../iman.sty ../extra.sty ../isar.sty \ - ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \ + ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty \ ../manual.bib ../proof.sty dvi: $(NAME).dvi