[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. 3bc1d3f606a885975312a67ad411696b14763193

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 326b1fe34a41f164a240304e5c427f5ce1a4d3d0
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Mon Jun 2 15:37:58 2008 +0200

    install the rpm*.so stub in the right place
    
    .. and no longer install mmap.so which is no longer built upstream (nor
    used of course)

diff --git a/debian/rules b/debian/rules
index fdc4a0b..7cb78cb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -16,6 +16,6 @@ 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)/mmap/*.so \
+	mv debian/$(DEV_PKG_NAME)$(OCAML_STDLIB_DIR)/*.so \
 		debian/$(DLL_PKG_NAME)$(OCAML_DLL_DIR)
 

-- 
dose2 packaging