IsaMakefile
changeset 44 dee4b3e66dfe
parent 28 a9ca91c990ba
child 60 5b9c6010897b
--- a/IsaMakefile	Wed Oct 29 13:58:36 2008 +0100
+++ b/IsaMakefile	Wed Oct 29 21:46:33 2008 +0100
@@ -15,6 +15,9 @@
 
 USEDIR = $(ISATOOL) usedir -v true -i true -D generated
 
+rail:
+	rail CookBook/generated/root
+	cp CookBook/generated/root.rao CookBook/document
 
 ## CookBook