equal
deleted
inserted
replaced
690 |
690 |
691 HOL-Docs: HOL $(LOG)/HOL-Docs.gz |
691 HOL-Docs: HOL $(LOG)/HOL-Docs.gz |
692 |
692 |
693 $(LOG)/HOL-Docs.gz: $(OUT)/HOL Docs/Main_Doc.thy Docs/ROOT.ML \ |
693 $(LOG)/HOL-Docs.gz: $(OUT)/HOL Docs/Main_Doc.thy Docs/ROOT.ML \ |
694 Docs/document/root.tex |
694 Docs/document/root.tex |
695 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Docs |
695 @$(ISABELLE_TOOL) usedir -D generated $(OUT)/HOL Docs |
696 |
696 |
697 |
697 |
698 ## HOL-Lambda |
698 ## HOL-Lambda |
699 |
699 |
700 HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz |
700 HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz |