[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.10.0-2-6-gb2b5e11

[Ralf Treinen]

The following commit has been merged in the master branch:
commit b71b161c31aa9300ce01a3ed7c670678f935544e
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Oct 21 16:33:45 2011 +0200

    clean: remove cruft

diff --git a/debian/changelog b/debian/changelog
index 820850d..2c9d5c8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 advi (1.10.2-1) unstable; urgency=low
 
   * New upstream release.
+  * patch really-clean: remove some files leftover by upstream clean.
 
- -- Ralf Treinen <treinen at debian.org>  Fri, 21 Oct 2011 15:46:28 +0200
+ -- Ralf Treinen <treinen at debian.org>  Fri, 21 Oct 2011 16:19:08 +0200
 
 advi (1.10.0-2) unstable; urgency=low
 
diff --git a/debian/patches/dont-make-doc b/debian/patches/dont-make-doc
index 885281a..8db537f 100644
--- a/debian/patches/dont-make-doc
+++ b/debian/patches/dont-make-doc
@@ -3,9 +3,9 @@ Description: do not attempt to make doc
 
 Index: advi/Makefile.in
 ===================================================================
---- advi.orig/Makefile.in	2011-08-02 19:07:02.000000000 +0200
-+++ advi/Makefile.in	2011-08-02 19:07:16.000000000 +0200
-@@ -224,7 +224,7 @@
+--- advi.orig/Makefile.in	2011-10-21 16:15:11.000000000 +0200
++++ advi/Makefile.in	2011-10-21 16:15:22.000000000 +0200
+@@ -225,7 +225,7 @@
  top_build_prefix = @top_build_prefix@
  top_builddir = @top_builddir@
  top_srcdir = @top_srcdir@
diff --git a/debian/patches/really-clean b/debian/patches/really-clean
new file mode 100644
index 0000000..68ac858
--- /dev/null
+++ b/debian/patches/really-clean
@@ -0,0 +1,15 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: Remove some generated files left over by upstream
+
+Index: advi/src/Makefile.am
+===================================================================
+--- advi.orig/src/Makefile.am	2011-10-21 15:42:45.000000000 +0200
++++ advi/src/Makefile.am	2011-10-21 16:17:11.000000000 +0200
+@@ -71,6 +71,7 @@
+ 	     $(OCAMLSOURCES:.ml=.cmi) \
+ 	     dvicommands.cmi \
+ 	     transitions.cmi \
++	     libadvi.a dlladvi.so \
+ 	     $(COBJS) \
+ 	     config.ml \
+ 	     .depend
diff --git a/debian/patches/series b/debian/patches/series
index 92df814..8ddd890 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@ manpage
 examples-distclean
 examples-makefiles
 examples-scripts
+really-clean

-- 
advi packaging