doc-src/LaTeXsugar/IsaMakefile
changeset 15898 435f0e743854
parent 15894 41f9c0902db1
child 17098 dd769bd4d056
equal deleted inserted replaced
15897:86d510b0e4b7 15898:435f0e743854
    21 
    21 
    22 Sugar: $(LOG)/HOL-Sugar.gz
    22 Sugar: $(LOG)/HOL-Sugar.gz
    23 
    23 
    24 $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
    24 $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
    25   Sugar/document/root.tex Sugar/document/root.bib \
    25   Sugar/document/root.tex Sugar/document/root.bib \
    26   ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy 
    26   $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 
    27 	@$(USEDIR) HOL Sugar
    27 	@$(USEDIR) HOL Sugar
    28 
    28 
    29 
    29 
    30 ## clean
    30 ## clean
    31 
    31