author | kleing |
Mon, 12 May 2003 11:56:29 +0200 | |
changeset 14002 | a36681758881 |
parent 14001 | 212271f61915 |
child 14003 | 740788f3f6b7 |
1.1 --- a/doc-src/IsarOverview/IsaMakefile Mon May 12 11:54:29 2003 +0200 1.2 +++ b/doc-src/IsarOverview/IsaMakefile Mon May 12 11:56:29 2003 +0200 1.3 @@ -7,7 +7,7 @@ 1.4 SRC = $(ISABELLE_HOME)/src 1.5 OUT = $(ISABELLE_OUTPUT) 1.6 LOG = $(OUT)/log 1.7 -USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true 1.8 +USEDIR = $(ISATOOL) usedir -i false -g false -d false -D document -v true 1.9 1.10 1.11 ## Isar