]> matita.cs.unibo.it Git - helm.git/commit
Added the new target $(PACKAGE).ps to draw the dependency graph of the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jun 2003 13:44:53 +0000 (13:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jun 2003 13:44:53 +0000 (13:44 +0000)
commitcd5aa8d01a0f2db4bf19ce6d5e7a2c7a411438a9
tree88edd68382d82bc61ca9bc273dcd5744c2c45641
parent34320b90dd8eff0a3e14e2f15b8e3de59c49b9b4
Added the new target $(PACKAGE).ps to draw the dependency graph of the
package.
helm/ocaml/Makefile.common.in