[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-26-g26196a5

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 0f4198abae0f20df470b5576a20a967c5fba1363
Author: Ralf Treinen <treinen at debian.org>
Date:   Thu Jan 12 00:58:39 2012 +0100

    clean must remove all generated files in viewer/

diff --git a/debian/patches/clean_viewer b/debian/patches/clean_viewer
new file mode 100644
index 0000000..4f9404f
--- /dev/null
+++ b/debian/patches/clean_viewer
@@ -0,0 +1,15 @@
+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/series b/debian/patches/series
new file mode 100644
index 0000000..1039a95
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+clean_viewer

-- 
coinst packaging