| changeset 11857 | cc3d971fe66a |
| parent 11647 | 0538cb0f7999 |
| child 11858 | ca128c9100b6 |
--- a/doc-src/TutorialI/IsaMakefile Sat Oct 20 20:23:37 2001 +0200 +++ b/doc-src/TutorialI/IsaMakefile Sat Oct 20 22:07:44 2001 +0200 @@ -17,7 +17,7 @@ SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log -OPTIONS = -m brackets -i true -d dvi -D document +OPTIONS = -m brackets -i true -d "" -D document USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL REALUSEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL-Real