diff -r ee9d53fbb56b -r 24c68350d059 IsaMakefile
--- a/IsaMakefile	Thu Jul 30 11:38:52 2009 +0200
+++ b/IsaMakefile	Thu Jul 30 15:51:51 2009 +0200
@@ -13,10 +13,6 @@
 
 USEDIR = $(ISATOOL) usedir -v true -D generated
 
-rail:
-	rail ProgTutorial/generated/root
-	cp ProgTutorial/generated/root.rao ProgTutorial/document
-
 tutorial: ProgTutorial/ROOT.ML \
           ProgTutorial/document/root.tex \
           ProgTutorial/document/root.bib \