# dia -e $@ $<
#
#
-IMAGES=classes.png scenarios-1.png scenarios-2.png
+IMAGES=classes-1.png classes-2.png scenarios-1.png scenarios-2.png
#PICTURES=classes.eps scenarios-1.eps scenarios-2.eps
#
#scenarios-1.eps scenarios-2.eps: scenarios.obj
# tgif -print -display :0 -eps -color -one_file_per_page scenarios.obj
#
+classes-1.png classes-2.png: classes.obj
+ tgif -print -display :0 -png -one_file_per_page classes.obj
+
scenarios-1.png scenarios-2.png: scenarios.obj
tgif -print -display :0 -png -one_file_per_page scenarios.obj