From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 11 Sep 2006 10:57:08 +0000 (+0000)
Subject: oops: changes should be committed to Makefile.in, not to Makefile
X-Git-Tag: make_still_working~6916
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f020de96bc640ac6c26535ec69383585d0cc67ea;p=helm.git

oops: changes should be committed to Makefile.in, not to Makefile
---

diff --git a/helm/software/DEVEL/lablgtkmathview/Makefile.in b/helm/software/DEVEL/lablgtkmathview/Makefile.in
index 8decedf3f..ac305e075 100644
--- a/helm/software/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/software/DEVEL/lablgtkmathview/Makefile.in
@@ -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;					\