diff -r 02f76f1b6e7b -r dee4b3e66dfe IsaMakefile --- 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