########################################################################
all:
-libraries.ps: libraries.dot
- dot -Gclusterrank=none -Tps -o $@ $<
-librariesCluster.ps: libraries.dot
- dot -Tps -o $@ $<
-matita2.dvi: libraries.ps librariesCluster.ps
-
########################################################################
AVAILABLE_FORMATS = dvi ps ps.gz pdf html