doc-src/Codegen/IsaMakefile
changeset 38441 2fffd5ac487f
parent 30458 804de935c328
child 38501 cb92559d7554
equal deleted inserted replaced
38440:6c0d02f416ba 38441:2fffd5ac487f
    22 THY = $(LOG)/HOL-Thy.gz
    22 THY = $(LOG)/HOL-Thy.gz
    23 
    23 
    24 Thy: $(THY)
    24 Thy: $(THY)
    25 
    25 
    26 $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
    26 $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
    27 	@$(USEDIR) HOL Thy
    27 	@$(USEDIR) -m no_brackets -m iff HOL Thy
    28 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    28 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    29 	 Thy/document/pdfsetup.sty Thy/document/session.tex
    29 	 Thy/document/pdfsetup.sty Thy/document/session.tex
    30 
    30 
    31 
    31 
    32 ## clean
    32 ## clean