[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-35-g929b2cb

[Ralf Treinen]

The following commit has been merged in the master branch:
commit abea8268f265c2db78e88377ee56021f9a6e7509
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Jul 20 23:09:20 2010 +0200

    undo patch

diff --git a/debian/patches/no-meta b/debian/patches/no-meta
deleted file mode 100644
index edc32b1..0000000
--- a/debian/patches/no-meta
+++ /dev/null
@@ -1,30 +0,0 @@
-Author: Ralf Treinen <treinen at debian.org>
-Description: META files are currently missing in upstream - do not try to
-  install them!
-
-Index: dose3/Makefile
-===================================================================
---- dose3.orig/Makefile	2010-07-20 23:00:07.000000000 +0200
-+++ dose3/Makefile	2010-07-20 23:01:27.000000000 +0200
-@@ -43,7 +43,7 @@
- 
- tags: TAGS
- 
--INSTALL_STUFF = META
-+INSTALL_STUFF =
- INSTALL_STUFF += $(wildcard _build/*.cma _build/*.cmxa _build/cudf.a)
- INSTALL_STUFF += $(wildcard _build/cudf_*.cmi) $(wildcard *.mli)
- INSTALL_STUFF += $(wildcard _build/cudf_*.cmx _build/cudf_*.o _build/cudf_*.a)
-Index: dose3/db/Makefile
-===================================================================
---- dose3.orig/db/Makefile	2010-07-20 23:02:00.000000000 +0200
-+++ dose3/db/Makefile	2010-07-20 23:02:15.000000000 +0200
-@@ -43,7 +43,7 @@
- headers: header.txt .headache.conf
- 	headache -h header.txt -c .headache.conf $(SOURCES) $(C_LIB_SOURCES)
- 
--INSTALL_STUFF = META
-+INSTALL_STUFF = 
- INSTALL_STUFF += $(wildcard _build/*.cma _build/*.cmxa _build/*.a)
- INSTALL_STUFF += $(wildcard *.mli)
- 
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index f892265..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-no-meta

-- 
dose3 packaging