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
#####