doc-src/Codegen/IsaMakefile
changeset 39603 eb0a51312752
parent 38501 cb92559d7554
child 39753 ec6dfd9ce573
equal deleted inserted replaced
39601:922634ecdda4 39603:eb0a51312752
    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) -m no_brackets -m iff HOL-Library Thy
    27 	@$(USEDIR) -m no_brackets -m iff HOL-Library 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
    33 
    33 
    34 clean:
    34 clean: