Refresh patch

debian/patches/compilation-examples

+From: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
+Date: Wed, 7 Aug 2019 10:50:23 +0200
+Subject: make examples compile via "make"
+
 Contributed-by: Russell Sears <sears@cs.berkeley.edu>
 Integrated: Ralf Treinen <treinen@debian.org>
 Fixes-bug:  #425465
-Description: make examples compile via "make"
 Sent-to-upstream: to Jacques Garrigue by Ralf Treinen, Dec 3 2009
+---
+ Togl/examples/Makefile  | 14 +++++++++++++-
+ Togl/examples/planet.ml |  2 +-
+ 2 files changed, 14 insertions(+), 2 deletions(-)
 
+diff --git a/Togl/examples/Makefile b/Togl/examples/Makefile
+index 86fe6ca..da2168f 100644
 --- a/Togl/examples/Makefile
 +++ b/Togl/examples/Makefile
 @@ -1,4 +1,16 @@
@@ -24,6 +33,8 @@ Sent-to-upstream: to Jacques Garrigue by Ralf Treinen, Dec 3 2009
  clean:
 -	rm -f *.cm* *.o *.opt
 +	rm -f *.cm* *.o *.opt $(DERIVEDML)
+diff --git a/Togl/examples/planet.ml b/Togl/examples/planet.ml
+index 0a0f3fb..9d84849 100644
 --- a/Togl/examples/planet.ml
 +++ b/Togl/examples/planet.ml
 @@ -1,6 +1,6 @@