The following commit has been merged in the master branch:
commit 0f4198abae0f20df470b5576a20a967c5fba1363
Author: Ralf Treinen <trei...@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 <trei...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to