[Pkg-ocaml-maint-commits] [SCM] ocamlbricks packaging branch, master, updated. debian/0.50.1-4-26-g57c36f5

[Lucas Nussbaum]

The following commit has been merged in the master branch:
commit 5884eca9b3a5ca2db7cb37c0e92c3dec1e7c3214
Author: Lucas Nussbaum <lucas at debian.org>
Date:   Tue Feb 12 19:54:03 2013 +0100

    File no longer needed

diff --git a/debian/generate_mli.sh b/debian/generate_mli.sh
deleted file mode 100755
index 498660e..0000000
--- a/debian/generate_mli.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/sh
-
-# Script provide with libocamlbricks-ocaml-dev packages
-# utility: create *.mli files from sources in $TARGET directory. 
-# where $TARGET is the first argument pass to the script
-
-# directory to add in command line
-OCAML_PATH=$(ocamlc -where)
-# where we put *.mli files 
-TARGET=$1
-# to exclude a sources file word or regexp
-EXCLUDE="stupid"
-
-# if not exist create $TARGET directory 
-mkdir -p $TARGET
-
-# for all *.ml files found in sources directory 
-for i in $(find ./[A-Z]*  -name \*.ml |grep -v $EXCLUDE |grep -v -e "/m[e,y]" );
-do 
-	# create the *.mli corresponding  
-	ocamlc -I debian/tmp/$OCAML_PATH/ocamlbricks/ -I $OCAML_PATH/  -I $OCAML_PATH/lablgtk2/ \
-		 -i $i > $TARGET/$(basename $i |sed s/'$'/'i'/g) 2> /dev/null
-	done
-
-# Not possible to build this .mli 
-rm -f $TARGET/modelExtra.mli 2> /dev/null
-
-exit 0

-- 
ocamlbricks packaging