Author: Ralf Treinen <treinen@debian.org>
Description: remove all generated files in clean target

Index: coinst/viewer/Makefile
===================================================================
--- coinst.orig/viewer/Makefile	2012-01-21 21:46:44.000000000 +0100
+++ coinst/viewer/Makefile	2012-01-21 22:05:05.000000000 +0100
@@ -38,8 +38,9 @@
 	rm -f dot_parser.ml dot_parser.mli dot_lexer.ml
 
 clean::
-	rm -f coinst_converter coinst_viewer
+	rm -f coinst_converter coinst_viewer coinst_viewer.byte
 	rm -f jsviewer.js jsviewer.byte
+	rm -f dot_lexer.ml dot_parser.ml
 
 #####
 
Index: coinst/Makefile
===================================================================
--- coinst.orig/Makefile	2012-01-21 21:46:44.000000000 +0100
+++ coinst/Makefile	2012-01-21 22:01:30.000000000 +0100
@@ -19,7 +19,7 @@
 	$(OCAMLC) -o $@  $(OPTLINKFLAGS) $^ $(LINKFLAGS)
 
 clean::
-	rm -f $(COINST)
+	rm -f $(COINST) $(COINST).byte
 
 #####
 
