Remove references to no-longer-shipped examples

diff --git a/debian/ocaml.examples b/debian/ocaml.examples
deleted file mode 100644 (file)
index 55b78ae..0000000
--- a/debian/ocaml.examples
+++ /dev/null
@@ -1 +0,0 @@
-debian/examples/*

diff --git a/debian/rules b/debian/rules
index b93ff6fcdb36538f8590d83875e25c6b0ec14ccc..a7c3d654198c47855959d12b9e44633173c0a227 100755 (executable)
--- 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