[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

[Ralf Treinen]

The following commit has been merged in the master branch:
commit b8e46fb58c17bb9fd919b32388386854e174836a
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Jan 21 21:49:46 2012 +0100

    rename patch for clean target, also rm coinst.byte`

diff --git a/debian/changelog b/debian/changelog
index 9ca6dbf..26a1f96 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coinst (1.01-2) UNRELEASED; urgency=low
+
+  * Rename patch clean_viewer to make-clean, also clean coinst.byte.
+
+ -- Ralf Treinen <treinen at debian.org>  Sat, 21 Jan 2012 21:48:45 +0100
+
 coinst (1.01-1) unstable; urgency=low
 
   * Initial release (closes: #655395)
diff --git a/debian/patches/clean_viewer b/debian/patches/clean_viewer
deleted file mode 100644
index 4f9404f..0000000
--- a/debian/patches/clean_viewer
+++ /dev/null
@@ -1,15 +0,0 @@
-Author: Ralf Treinen <treinen at debian.org>
-Description: remove all generated files in clean target
-
-Index: coinst/viewer/Makefile
-===================================================================
---- coinst.orig/viewer/Makefile	2011-09-12 17:13:16.000000000 +0200
-+++ coinst/viewer/Makefile	2012-01-12 00:57:14.000000000 +0100
-@@ -40,6 +40,7 @@
- clean::
- 	rm -f coinst_converter coinst_viewer
- 	rm -f jsviewer.js jsviewer.byte
-+	rm -f dot_lexer.ml dot_parser.ml
- 
- #####
- 
diff --git a/debian/patches/make_clean b/debian/patches/make_clean
new file mode 100644
index 0000000..f84d8d3
--- /dev/null
+++ b/debian/patches/make_clean
@@ -0,0 +1,28 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: remove all generated files in clean target
+
+Index: coinst/viewer/Makefile
+===================================================================
+--- coinst.orig/viewer/Makefile	2012-01-18 08:10:25.000000000 +0100
++++ coinst/viewer/Makefile	2012-01-21 21:45:59.000000000 +0100
+@@ -40,6 +40,7 @@
+ clean::
+ 	rm -f coinst_converter coinst_viewer
+ 	rm -f jsviewer.js jsviewer.byte
++	rm -f dot_lexer.ml dot_parser.ml
+ 
+ #####
+ 
+Index: coinst/Makefile
+===================================================================
+--- coinst.orig/Makefile	2012-01-18 08:10:25.000000000 +0100
++++ coinst/Makefile	2012-01-21 21:46:36.000000000 +0100
+@@ -19,7 +19,7 @@
+ 	$(OCAMLC) -o $@  $(OPTLINKFLAGS) $^ $(LINKFLAGS)
+ 
+ clean::
+-	rm -f $(COINST)
++	rm -f $(COINST) $(COINST).byte
+ 
+ #####
+ 
diff --git a/debian/patches/series b/debian/patches/series
index 1039a95..8d1f96d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1 @@
-clean_viewer
+make_clean

-- 
coinst packaging