[Pkg-ocaml-maint-commits] r1919 - trunk/packages/facile/trunk/debian/patches

[Steffen Joeris]

Author: white-guest
Date: 2005-11-04 16:21:23 +0000 (Fri, 04 Nov 2005)
New Revision: 1919

Modified:
   trunk/packages/facile/trunk/debian/patches/20-Makefile.dpatch
Log:
also install *.mli files


Modified: trunk/packages/facile/trunk/debian/patches/20-Makefile.dpatch
===================================================================
--- trunk/packages/facile/trunk/debian/patches/20-Makefile.dpatch	2005-11-04 15:58:58 UTC (rev 1918)
+++ trunk/packages/facile/trunk/debian/patches/20-Makefile.dpatch	2005-11-04 16:21:23 UTC (rev 1919)
@@ -23,9 +23,9 @@
 exit 0
 
 @DPATCH@
---- Makefile.orig	2005-11-04 16:14:10.000000000 +0100
-+++ facile-1.1/Makefile	2005-11-04 16:47:09.000000000 +0100
-@@ -7,11 +7,14 @@
+--- Makefile.orig	2005-11-04 17:13:52.000000000 +0100
++++ facile-1.1/Makefile	2005-11-04 17:18:33.000000000 +0100
+@@ -7,11 +7,15 @@
  
  install:
  	if test -d $(FACILEDIR); then : ; else mkdir $(FACILEDIR); fi
@@ -42,6 +42,7 @@
 +	if [ -e $(FACILEDIR)/facile.cma ] ; then chmod a+r $(FACILEDIR)/facile.cma ; fi
 +	if [ -e $(FACILEDIR)/facile.cmxa ] ; then chmod a+r $(FACILEDIR)/facile.cmxa ; fi
 +	if [ -e $(FACILEDIR)/facile.a ] ; then chmod a+r $(FACILEDIR)/facile.a ; fi
++	install -m 644 src/*.mli $(FACILEDIR)
  
  clean:
  	cd src; make clean