The following commit has been merged in the master branch:
commit 27807d3c04bb4a24a0c343c95c0ccd99872001ef
Author: Ralf Treinen <r...@free.fr>
Date: Wed Mar 18 08:38:41 2009 +0100
use install file
diff --git a/debian/rules b/debian/rules
index cba8ea5..385bfc3 100755
--- a/debian/rules
+++ b/debian/rules
@@ -18,9 +18,9 @@ debian/configure-stamp:
clean::
rm -f debian/configure-stamp
-install/$(DEV_PKG_NAME)::
- mkdir -p debian/$(DLL_PKG_NAME)$(OCAML_DLL_DIR)
- mv debian/$(DEV_PKG_NAME)$(OCAML_STDLIB_DIR)/$(LIB_NAME)/*.so \
- debian/$(DLL_PKG_NAME)$(OCAML_DLL_DIR)
+#install/$(DEV_PKG_NAME)::
+# mkdir -p debian/$(DLL_PKG_NAME)$(OCAML_DLL_DIR)
+# mv debian/$(DEV_PKG_NAME)$(OCAML_STDLIB_DIR)/$(LIB_NAME)/*.so \
+# debian/$(DLL_PKG_NAME)$(OCAML_DLL_DIR)
OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES)
--
dose2 packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
