From: Stephane Glondu <steph@glondu.net>
Date: Thu, 11 Jul 2019 10:44:25 +0000 (+0200)
Subject: Remove references to no-longer-shipped examples
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~49
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=3902ae6329d1bce17c3993bf4292c63cb3b54778;p=ocaml.git

Remove references to no-longer-shipped examples
---

diff --git a/debian/ocaml.examples b/debian/ocaml.examples
deleted file mode 100644
index 55b78ae3..00000000
--- a/debian/ocaml.examples
+++ /dev/null
@@ -1 +0,0 @@
-debian/examples/*
diff --git a/debian/rules b/debian/rules
index b93ff6fc..a7c3d654 100755
--- a/debian/rules
+++ b/debian/rules
@@ -133,7 +133,6 @@ build-stamp: config-stamp
 	if test ! -d boot.debian; then \
 	  cp -xa boot boot.debian; \
 	fi
-	rm -Rf debian/examples && mkdir debian/examples
 ifeq ($(BUILDCACHE),)
 	$(MAKE) world
 	$(MAKE) bootstrap
@@ -171,7 +170,7 @@ endif
 	  fi; \
 	done
 # Remaining stuff
-	-rm -Rf debian/$(SRCTARBALL) debian/examples $(TESTDIR)
+	-rm -Rf debian/$(SRCTARBALL) $(TESTDIR)
 
 .PHONY: override_dh_auto_install-arch override_dh_auto_install-indep
 override_dh_auto_install-arch: install-stamp-arch