]> matita.cs.unibo.it Git - helm.git/commitdiff
Installation fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Nov 2000 18:51:55 +0000 (18:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Nov 2000 18:51:55 +0000 (18:51 +0000)
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile

index cf068188773a9fe1b6a2201ead8c4788fc889f44..7463870b86b1bdc399d3c65e14aec01b387bbd7e 100644 (file)
@@ -1,7 +1,7 @@
 LIBDIR = /usr/lib/ocaml
 INSTALLDIR = $(LIBDIR)/lablgtk/mathview/minidom
 OBJECTS = minidom.cmi minidom.cmo minidom.cmx minidom.mli ml_minidom.h \
-          ml_minidom.o
+          ml_minidom.o minidom.o
 
 all: test