--- a/src/HOL/IsaMakefile Wed Aug 13 17:44:42 2003 +0200
+++ b/src/HOL/IsaMakefile Fri Aug 15 13:07:01 2003 +0200
@@ -369,7 +369,8 @@
Auth/Guard/Guard.thy Auth/Guard/List_Msg.thy \
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
+ Auth/Guard/Proto.thy Auth/Guard/Yahalom.thy\
+ Auth/document/root.tex
@$(ISATOOL) usedir -g true $(OUT)/HOL Auth
@@ -394,8 +395,9 @@
UNITY/Comp/Counter.thy UNITY/Comp/Counterc.thy UNITY/Comp/Handshake.thy \
UNITY/Comp/PriorityAux.thy \
UNITY/Comp/Priority.thy UNITY/Comp/Progress.thy \
- UNITY/Comp/TimerArray.thy
- @$(ISATOOL) usedir $(OUT)/HOL UNITY
+ UNITY/Comp/TimerArray.thy\
+ UNITY/document/root.tex
+ @$(ISATOOL) usedir -g true $(OUT)/HOL UNITY
## HOL-Unix