doc-src/LaTeXsugar/Makefile

 NAME = sugar
 
 FILES = Sugar/document/root.tex Sugar/document/root.bib \
         Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \
         Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \
-        ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty
+        ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty
 
 GARBAGE = Sugar/document/*.aux Sugar/document/*.log Sugar/document/*.toc \
           Sugar/document/*.idx Sugar/document/*.bbl Sugar/document/*.blg \
           Sugar/document/*.out