]> matita.cs.unibo.it Git - helm.git/commitdiff
oops: changes should be committed to Makefile.in, not to Makefile
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Sep 2006 10:57:08 +0000 (10:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Sep 2006 10:57:08 +0000 (10:57 +0000)
DEVEL/lablgtkmathview/Makefile.in

index 8decedf3fa240319921eb2e05363ee66aaddb336..ac305e0750799cca6f1690d7225911b8b0b6839b 100644 (file)
@@ -111,6 +111,7 @@ install:
                        $(PACKAGE) $(ARCHIVE).cma lib$(ARCHIVE).a               \
                        $(DLL) $(INST) $$extra;                                 \
        else                                                                    \
+               mkdir -p $(PREFIX);                                             \
                $(OCAMLFIND) install -ldconf /def/null -destdir $(PREFIX)       \
                        $(PACKAGE) $(ARCHIVE).cma lib$(ARCHIVE).a               \
                        $(DLL) $(INST) $$extra;                                 \