doc-src/Main/IsaMakefile
changeset 42513 96a55556639c
parent 30457 28b487cd9e15
equal deleted inserted replaced
42512:f1ca2b0e0265 42513:96a55556639c
    21 
    21 
    22 HOL-Docs: $(LOG)/HOL-Docs.gz
    22 HOL-Docs: $(LOG)/HOL-Docs.gz
    23 
    23 
    24 $(LOG)/HOL-Docs.gz: Docs/Main_Doc.thy Docs/ROOT.ML
    24 $(LOG)/HOL-Docs.gz: Docs/Main_Doc.thy Docs/ROOT.ML
    25 	@$(USEDIR) HOL Docs
    25 	@$(USEDIR) HOL Docs
       
    26 	@rm -f Docs/document/isabelle.sty
       
    27 	@rm -f Docs/document/isabellesym.sty
       
    28 	@rm -f Docs/document/pdfsetup.sty
       
    29 	@rm -f Docs/document/session.tex
    26 
    30 
    27 
    31 
    28 ## clean
    32 ## clean
    29 
    33 
    30 clean:
    34 clean: