1 files changed, 0 insertions, 16 deletions
diff --git a/dev-ml/xml-light/files/01_installopt.patch b/dev-ml/xml-light/files/01_installopt.patch
deleted file mode 100644
index d3a3d8457431..000000000000
--- a/dev-ml/xml-light/files/01_installopt.patch
+++ /dev/null
@@ -1,16 +0,0 @@
---- a/Makefile
-+++ b/Makefile
-@@ -11,8 +11,11 @@
- 
- opt: xml-light.cmxa test_opt.exe
- 
--install: all opt
--	cp xml-light.cmxa xml-light.a xml-light.cma xml.mli xmlParser.mli dtd.mli xml.cmi xmlParser.cmi dtd.cmi xml.cmx dtd.cmx xmlParser.cmx $(INSTALLDIR)
-+install: all 
-+	cp xml-light.cma xml.mli xmlParser.mli dtd.mli xml.cmi xmlParser.cmi dtd.cmi  $(INSTALLDIR)
-+
-+installopt: opt all 
-+	cp xml-light.a xml-light.cmxa xml.cmx dtd.cmx xmlParser.cmx $(INSTALLDIR)
- 
- doc:
- 	mkdir doc