Added a title page

[AXE.git] / doc / makefile

diff --git a/doc/makefile b/doc/makefile
index aaf9f5d..7d6e93f 100644 (file)
--- a/doc/makefile
+++ b/doc/makefile
@@ -12,8 +12,11 @@
 
 IMAGES = class_diagram.png communication.png edit_focus.png scroll.png
 
-all: $(IMAGES)
+all: $(IMAGES) tutorial.html
 
+tutorial.html : tutorial.xml
+       xml2html tutorial.xml >tutorial.html
 clean:
        rm -f *.aux *.log *.dvi
+       rm -f tutorial.html
        rm -f $(IMAGES)