# HG changeset patch
# User kleing
# Date 1052210837 -7200
# Node ID bfca18e9ab72a698ef092b5c2845bc001dac5f33
# Parent  ba7aa8c426ad95a3b7515363a2fa8ec951bf5fdd
fixed missing -g true for HOL-Auth

diff -r ba7aa8c426ad -r bfca18e9ab72 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue May 06 10:40:43 2003 +0200
+++ b/src/HOL/IsaMakefile	Tue May 06 10:47:17 2003 +0200
@@ -383,7 +383,7 @@
   Auth/Guard/NS_Public.thy Auth/Guard/OtwayRees.thy \
   Auth/Guard/P1.thy Auth/Guard/P2.thy \
   Auth/Guard/Proto.thy Auth/Guard/Yahalom.thy
-	@$(ISATOOL) usedir $(OUT)/HOL Auth
+	@$(ISATOOL) usedir -g true $(OUT)/HOL Auth
 
 
 ## HOL-UNITY