doc-src/LaTeXsugar/Makefile
changeset 42511 bf89455ccf9d
parent 26911 871cc7f11034
child 42637 381fdcab0f36
     1.1 --- a/doc-src/LaTeXsugar/Makefile	Sun May 01 00:01:59 2011 +0200
     1.2 +++ b/doc-src/LaTeXsugar/Makefile	Sun May 01 16:36:34 2011 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4  FILES = Sugar/document/root.tex Sugar/document/root.bib \
     1.5          Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \
     1.6          Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \
     1.7 -        ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty
     1.8 +        ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty
     1.9  
    1.10  GARBAGE = Sugar/document/*.aux Sugar/document/*.log Sugar/document/*.toc \
    1.11            Sugar/document/*.idx Sugar/document/*.bbl Sugar/document/*.blg \