src/ZF/IsaMakefile
changeset 13427 b429fd98549c
parent 13357 6f54e992777e
child 13433 47fe2d1ec999
     1.1 --- a/src/ZF/IsaMakefile	Sat Jul 27 21:55:14 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Sun Jul 28 21:09:37 2002 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4    Constructible/WF_absolute.thy \
     1.5    Constructible/Reflection.thy  Constructible/WFrec.thy \
     1.6    Constructible/document/root.tex
     1.7 -	@$(ISATOOL) usedir $(OUT)/ZF Constructible
     1.8 +	@$(ISATOOL) usedir -g true $(OUT)/ZF Constructible
     1.9  
    1.10  
    1.11  ## ZF-IMP