[Pkg-ocaml-maint-commits] [atdgen] 12/16: Remove obsolete patch

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository atdgen.

commit bf89afd2ca96becd45d1b22c0b1ba879b63c1da2
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 28 10:01:45 2016 +0100

    Remove obsolete patch
---
 .../0001-Install-ml-files-for-dangling-cmi-s.patch | 40 ----------------------
 debian/patches/series                              |  1 -
 2 files changed, 41 deletions(-)

diff --git a/debian/patches/0001-Install-ml-files-for-dangling-cmi-s.patch b/debian/patches/0001-Install-ml-files-for-dangling-cmi-s.patch
deleted file mode 100644
index 5fadf13..0000000
--- a/debian/patches/0001-Install-ml-files-for-dangling-cmi-s.patch
+++ /dev/null
@@ -1,40 +0,0 @@
-From: Hendrik Tews <hendrik at askra.de>
-Date: Sat, 1 Feb 2014 16:55:27 +0100
-Subject: Install ml files for dangling cmi's
-
-Signed-off-by: Stephane Glondu <steph at glondu.net>
----
- Makefile | 12 +++++++++---
- 1 file changed, 9 insertions(+), 3 deletions(-)
-
-diff --git a/Makefile b/Makefile
-index c49b299..9b20997 100644
---- a/Makefile
-+++ b/Makefile
-@@ -104,8 +104,14 @@ install: META
- 	test ! -f atdgen || cp atdgen $(BINDIR)/
- 	test ! -f atdgen.exe || cp atdgen.exe $(BINDIR)/
- 	ocamlfind install atdgen META \
--		 $(MLI) $(CMI) $(CMO) $(CMX) $(CMXS) $(O) \
--			atdgen.cma atdgen.a atdgen.cmxa
-+		 $(wildcard $(MLI) $(CMI) $(CMO) $(CMX) $(CMXS) $(O) \
-+			atdgen.cma atdgen.a atdgen.cmxa) \
-+		ag_biniou.ml ag_doc_lexer.ml ag_doc_lexer.mll ag_error.ml \
-+		ag_indent.ml ag_json.ml ag_mapping.ml ag_ob_emit.ml \
-+		ag_ob_mapping.ml ag_ob_run.ml ag_ob_spe.ml ag_ocaml.ml \
-+		ag_oj_emit.ml ag_oj_mapping.ml ag_oj_run.ml ag_ov_emit.ml \
-+		ag_ov_mapping.ml ag_ov_run.ml ag_ox_emit.ml ag_validate.ml \
-+		ag_xb_emit.ml ag_version.ml
- 
- uninstall:
- 	test ! -f $(BINDIR)/atdgen.run || rm $(BINDIR)/atdgen.run
-@@ -172,7 +178,7 @@ atdgen$(EXE): dep $(CMI) $(CMX) ag_main.ml
- 
- 
- .PHONY: doc
--doc: odoc/index.html atdgen$(EXE)
-+doc: odoc/index.html
- 	cd manual; $(MAKE)
- 
- odoc/index.html: $(CMI)
--- 
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 776c15a..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-0001-Install-ml-files-for-dangling-cmi-s.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/atdgen.git