]> matita.cs.unibo.it Git - helm.git/commitdiff
minidom/Makefile: missing $(INST) variable for non-object files in target install
authorLuca Padovani <luca.padovani@unito.it>
Thu, 30 Nov 2000 15:53:14 +0000 (15:53 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 30 Nov 2000 15:53:14 +0000 (15:53 +0000)
minidom/ominidom.ml: eta-optimizations

helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/ominidom.ml

index 9b50d8333aa79bc11375cacbe8fd0207198d0231..97ae32053b115e8301a80f5877d25c865fe86fb8 100644 (file)
@@ -42,7 +42,7 @@ test.opt: test.cmx minidom.cmx ml_minidom.o
 
 install:
        if test -d $(INSTALLDIR); then : ; else mkdir -p $(INSTALLDIR); fi
-       cp $(OBJECTS) $(OBJECTS_OPT) $(INSTALLDIR)
+       cp $(OBJECTS) $(OBJECTS_OPT) $(INST) $(INSTALLDIR)
 
 clean:
        rm -f *.o *.cm? test test.opt
index ed2ca1f9e3fed548e4d5195e4f40b5f55d8fa408..2d8dcb17e97688fdaed2412857426298d6e35dff 100644 (file)
@@ -21,8 +21,8 @@ class o_mDOMDoc (doc : Minidom.mDOMDoc) =
     method get_dom_doc = doc
 
     method get_root_node = Minidom.doc_get_root_node doc
-    method add_entity (name : o_mDOMString) content =
-      Minidom.doc_add_entity doc (name#get_dom_string) content
+    method add_entity (name : o_mDOMString) =
+      Minidom.doc_add_entity doc (name#get_dom_string) 
     method get_entity (name : o_mDOMString) =
       Minidom.doc_get_entity doc (name#get_dom_string)
     method get_predefined_entity (name : o_mDOMString) =